unix

以前からChromebookって何ができるのかな？と思っていたんですが、Chrome OSが正式にLinuxをサポートするということで、気軽なLinuxラップトップとして購入候補に挙がりました。

これまで普段はMacBoo ...

2018年秋、とうとうこの日がやってきました。毎年バージョンアップされるmacOSが我が家のメインマシンであるMacBook Pro 2011をサポート対象外にしてしまいました。

macOSは２世代ぐらい前のバージョンまで ...

このサイトを置いているサーバーはVultrのVPSです。格安でSSDも25GBもあって、東京にもデータセンターがあってとてもいいサーバーです。

一方サブで借りているさくらのレンタルサーバー。こちらも安くて100GBのHDD ...

この夏、人生２回目のロシア渡航を目論んでいて、色々と調査した内容を2018年夏版、極東ロシア渡航情報メモとしてまとめています。

その中でSASCOというロシアの船会社のサイトをスクレイピングしてデータを表示している部分があ ...

これまでgitは完全なローカル環境で使うか、Githubを使うかのいずれかでした。簡単なgitの使い方をまとめてそれなりに使っていましたが、プライベートサーバーがあるといいかなと思い始めました。

２種類のリポジトリ

チームで開発とかしているわけではないので、Gitなんか使う必要あるのか？と言う気がしないでもないですが、バージョン管理のために使っています。

Gitが管理しているバージョンとは

Gitのマニュアルを読むと大体最初に

BSD系です。dateには様々なオプションがありますが、スクリプトを書く上で必要そうなものをまとめます。

出力をコントロールする

通常dateコマンドは現在日時をロングフォーマットで出力します。言語はロケールによっ

Raspberry Piのサイトにも書かれているdiskとrdiskのアクセス速度の違い。どういう理由で違うのか、調べてみました。

diskとrdiskの違い

diskとrdisk、デバイス名が違うと速度が違うとい

diskutil自体はmacOSのコマンドですが、デバイスのunmountとejectの違いについて確認します。

unmountとejectの違い

RASPBIANのインストールのところでdiskutilのunmo