2018-01-01から1年間の記事一覧
諸事情によりGoogle Home Miniをタダでゲットしました さらに諸事情により、それを普通のルーター(固定回線のっていったらいいのか?)ではなく、 モバイルWi-Fiルーター(Y!mobileのPocket WiFi)でセットアップをしなければなりませんでした。 しかし、Googl…
grepコマンドは、行が見つからなかった場合にリターンコードとして1を返します $ echo hoge fuga | grep hoge ; echo $? hoge fuga 0 $ echo hoge fuga | grep foo ; echo $? 1 一方、シェルスクリプトに-eオプションを渡していると、途中の実行でリターンコ…
Windows(まだ7)でLinuxサーバーとかから持ってきたファイルが、 削除できなくて、プロパティで権限とか確認してみたら、 ファイルの所有者がunknown+userになってて、 管理者権限で操作したり、所有者変更しようとしてもどうにもできなかった場合 → 再起動し…