Cshell スクリプトで $argv リストを処理したいのですが、そのリストをチェリー ピックする必要があります。例えば:
@ i = 1
while ( $i <= $#argv )
if ($argv[$i] == "--ignore-externals") then
set svnargs = ( $svnargs $argv[$i] )
shift $argv[1]
else
@ i = $i + 1
endif
end
...しかし、「シフト」はそのようには機能しません。最善のアプローチは何ですか?