File: windows_sh_launch.bat

package info (click to toggle)
grass 8.4.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 277,040 kB
  • sloc: ansic: 460,798; python: 227,732; cpp: 42,026; sh: 11,262; makefile: 7,007; xml: 3,637; sql: 968; lex: 520; javascript: 484; yacc: 450; asm: 387; perl: 157; sed: 25; objc: 6; ruby: 4
file content (11 lines) | stat: -rw-r--r-- 357 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
 
REM Unfortunately not translatable messages here

IF "%GRASS_SHELL%"=="" (
    ECHO The GRASS_SHELL environmental variable is not defined.
    ECHO To use Bash/Shell scripts in GRASS GIS,
    ECHO set the variable using something like:
    ECHO SET GRASS_SHELL="C:\path\to\bash.exe"
    EXIT /b
)

@"%GRASS_SHELL%" "SCRIPT_DIR/SCRIPT_NAME.sh" %*