mirror of
https://github.com/fish-shell/fish-shell.git
synced 2024-11-23 03:54:04 +08:00
6c8a559023
darcs-hash:20061212203727-ac50b-23fbb54bba0c5773e8a3dd2e5737ea8a670c801d.gz
54 lines
812 B
Fish
54 lines
812 B
Fish
|
|
function __fish_contains_opt -d "Checks if a specific option has been given in the current commandline"
|
|
set -l next_short
|
|
|
|
set -l short_opt
|
|
set -l long_opt
|
|
|
|
for i in $argv
|
|
if test $next_short
|
|
set next_short
|
|
set short_opt $short_opt $i
|
|
else
|
|
switch $i
|
|
case -s
|
|
set next_short 1
|
|
case '-*'
|
|
echo __fish_contains_opt: Unknown option $i
|
|
return 1
|
|
|
|
case '**'
|
|
set long_opt $long_opt $i
|
|
end
|
|
end
|
|
end
|
|
|
|
for i in $short_opt
|
|
|
|
if test -z $i
|
|
continue
|
|
end
|
|
|
|
if commandline -cpo | sgrep -- "^-"$i"\|^-[^-]*"$i >/dev/null
|
|
return 0
|
|
end
|
|
|
|
if commandline -ct | sgrep -- "^-"$i"\|^-[^-]*"$i >/dev/null
|
|
return 0
|
|
end
|
|
end
|
|
|
|
for i in $long_opt
|
|
if test -z $i
|
|
continue
|
|
end
|
|
|
|
if contains -- --$i (commandline -cpo)
|
|
return 0
|
|
end
|
|
end
|
|
|
|
return 1
|
|
end
|
|
|