プライベートGitサーバーを使ってみよう
これまでgitは完全なローカル環境で使うか、Githubを使うかのいずれかでした。簡単なgitの使い方をまとめてそれなりに使っていましたが、プライベートサーバーがあるといいかなと思い始めました。
これまでgitは完全なローカル環境で使うか、Githubを使うかのいずれかでした。簡単なgitの使い方をまとめてそれなりに使っていましたが、プライベートサーバーがあるといいかなと思い始めました。
チームで開発とかしているわけではないので、Gitなんか使う必要あるのか?と言う気がしないでもないですが、バージョン管理のために使っています。
BSD系です。dateには様々なオプションがありますが、スクリプトを書く上で必要そうなものをまとめます。
Raspberry Piのサイトにも書かれているdiskとrdiskのアクセス速度の違い。どういう理由で違うのか、調べてみました。
diskutil自体はmacOSのコマンドですが、デバイスのunmountとejectの違いについて確認します。
Copyright © 2016, Junk Works, Takeru.