
zipコマンドで.zipの拡張子なしのZIPファイルを作る方法
こんにちは、さるまりんです。 コマンドの小ネタです。 zipコマンドでディレクトリのZIP形式の圧縮ファイルを作成するコマンドは...
ものづくりと日々の楽しみのために
こんにちは、さるまりんです。 コマンドの小ネタです。 zipコマンドでディレクトリのZIP形式の圧縮ファイルを作成するコマンドは...
こんにちは、さるまりんです。 今日はgrepコマンドです。 grepはファイル内の文字列検索で利用されます。 grep ...
こんにちは、さるまりんです。 コマンドの小ネタです。 grepコマンドを使って、ファイルに含まれる文字列を探すことがあります。 ...
こんにちは、さるまりんです。 小ネタです。 curlコマンドでサイトにアクセスする際に次のようなエラーが発生しました。 cur...
こんにちは、さるまりんです。 前回、ディスクが一杯にになった時、どこで容量をとっているかを探す方法をメモしました。今回はその後にスペー...
こんにちは、さるまりんです。 No space left on device こんなことを言われた時のお話です。 No spa...