isset($argv)を使う
<?php echo isset($argv) ? "command" : "server";
ちなみにサーバー経由でgetoptなどを実行するとPremature end of script headersエラーがでる・・・。php5.3で確認。
phpでシェルを書くと怒られそうだがbash等に慣れない人はphpで書いてしまった方が大分楽だろう。
メールアドレスが公開されることはありません。
名前
メールアドレス
ウェブサイト
コメント
次のHTML タグと属性が使えます: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>