diff options
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 |