0830login:Penguin垢版2018/07/15(日) 00:50:11.07ID:g0zktyhG >>829 俺のawkはnawkだが,Vオプションはないと言われた。 それで見分けるというのはいささか強引では。 主要なLinux酉ならばupdate-alternatives系のコマンドで調べるのが正解だろう。