diff options
Diffstat (limited to 'sh/profile.d')
-rw-r--r-- | sh/profile.d/options.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sh/profile.d/options.sh b/sh/profile.d/options.sh index 74aa7cd9..b4000e5d 100644 --- a/sh/profile.d/options.sh +++ b/sh/profile.d/options.sh @@ -9,11 +9,11 @@ options() ( # Directory already exists; bail out [ -d "$dir" ] && exit - # Create the directory + # Create the directory and step into it mkdir -p -- "$dir" || exit cd -- "$dir" || exit - # Write grep(1)'s --help output to a file, even if it's empty + # Write the program's --help output to a file, even if it's empty "$1" --help </dev/null >help 2>/dev/null || exit # Shift the program name off; remaining arguments are the options to check |