2020-08-01から1ヶ月間の記事一覧
Feedlyを入れた。 Feedlyは、RSSリーダーの一種。 今更、RSSリーダー?と思う人もいるのかもしれないけど、改めて戻ってきた。 feedly.com 理由 Twitterが自分の中で、うまく機能しなくなった なんとなく最近、Twitterを眺めていると、同じようなツイートば…
Gitで変更したファイルを変更前に戻すコマンドのメモ。 以下のようにrestoreを使う。 git restore <filename> とりあえず git stash とかで変更を一時待避したり、 git checkout -- <filename> していることもあるのだけど、別に待避する必要がない時はあるし、restoreの方が明示</filename></filename>…
Twitterで以下のような話をした。 ちょうどいい情報共有の量があると思っていて、最適化する方法は、多めから減らしていくパターンと少なめから増やしていくパターン、振動させて収束させるパターンの3つがあると思う。フルリモートは、多めから減らしてい…