Lines Matching refs:file
3 # Manipulate options in a .config file from the command line
15 Manipulate options in a .config file from the command line.
39 --file config-file .config file to change (default .config)
42 $myname doesn't check the validity of the .config file. This is done at next
79 # replace original file with the edited one
90 # replace original file with the edited one
100 # replace original file with the edited one
127 if [ "$1" = "--file" ]; then
220 # undocumented because it ignores --file (fixme)