diff options
| author | Michele Calgaro <[email protected]> | 2023-04-18 20:47:44 +0900 |
|---|---|---|
| committer | Michele Calgaro <[email protected]> | 2023-04-18 20:47:44 +0900 |
| commit | 425e16ad894fd23d7c5b061acffba6cd04a1b1db (patch) | |
| tree | e1f794e07812bcd59a4b518747bf9dc5c2a5a163 /indenters/__TODO/uigui_shellindent.ini | |
| parent | 11451cea9db07b2a257297de57d76a8dbb7e3a5e (diff) | |
| download | universal-indent-gui-tqt-425e16ad894fd23d7c5b061acffba6cd04a1b1db.tar.gz universal-indent-gui-tqt-425e16ad894fd23d7c5b061acffba6cd04a1b1db.zip | |
Added code to load last open file or an example or an untitled file.
Signed-off-by: Michele Calgaro <[email protected]>
Diffstat (limited to 'indenters/__TODO/uigui_shellindent.ini')
| -rwxr-xr-x | indenters/__TODO/uigui_shellindent.ini | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/indenters/__TODO/uigui_shellindent.ini b/indenters/__TODO/uigui_shellindent.ini new file mode 100755 index 0000000..2c36958 --- /dev/null +++ b/indenters/__TODO/uigui_shellindent.ini @@ -0,0 +1,17 @@ +[header] +categories= +cfgFileParameterEnding=" " +configFilename= +fileTypes=*.sh +indenterFileName=shellindent.awk +indenterName=Shell Code Indent (sh) +inputFileName=indentinput +inputFileParameter= +manual=http://www.bolthole.com/AWK.html +outputFileName= +outputFileParameter=stdout +parameterOrder=pio +showHelpParameter= +stringparaminquotes=false +useCfgFileParameter= +version=2008-01-10 |