mirror of
https://github.com/fish-shell/fish-shell
synced 2024-12-29 06:13:20 +00:00
73a9c8bcb8
darcs-hash:20060208092005-ac50b-8e784f79a4e158c8c15b553fad85002dccc7bd03.gz
53 lines
816 B
Fish
53 lines
816 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 | grep -- "^-"$i"\|^-[^-]*"$i >/dev/null
|
|
return 0
|
|
end
|
|
|
|
if commandline -ct | grep -- "^-"$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
|
|
|