ツール

ag は定番でしたが、本家バイナリは Windows での Unicode の扱いに難がありました1。職場の PC 更新に伴って rg に移行したので、とりあえず使うオプションを書き残します。 大文字・小文字のデフォルトと、ファイル無視規則の外し方が大きく違います。 …

会社で Fork という Git GUI クライアントが流行っており、ずっと使ってきた Sourcetree に進歩が見られないので思い切って乗り換えることにしました。 ここのところの Sourcetree は割とモサモサしていたり、画面構成も v2 のころのほうが個人的に使いやすいと思っていたりで不満がありました。 CLI だけで Git を使っていくこともできますが、樹形図表示や行単位のステージ操作などには GUI が欲しくなります。 Sourcetree に比べると知名度が全然の Fork ですが、非常に出来の良いソフトウェアでした。 …

なぜか、年明けから DaVinci Resolve で動画編集の仕事をしています。 DaVinci Resolve で編集中のシークが重かったり、素材の形式に起因する問題等が発生したりしたので、FFmpeg で先に素材を使いやすい形式に変換しておくコマンドをまとめてみました。 この記事での処理内容は、DaVinci Resolve 重視で考えられていますので、ご留意ください。 …

HTML/CSS で作成したデザインをパーツごとにペイントソフトに持っていき画像編集したいという状況がありました。最近のブラウザーは要素ごとのスクリーンショット撮影機能があり、該当領域だけを正確に画像化できます。しかし、上位ノードの要素（背景）を含めずに、関係ない部分を透過で撮影する方法が分かりませんでした。 この場合、Safari を使うと、簡単に要素のスクリーンショットを背景透過で撮れます。 …

SSH トンネリングで SOCKS プロキシを立てることで、社内ローカルページにアクセスする技は結構便利です。コロナ禍では、大学研究室内のページへアクセスするのにお世話になりました。 しかし、GUI でブラウザのプロキシ設定を変更する必要があり、後で戻す作業がいちいち発生する点が面倒でした。 Google Chrome (正確には Chromium)1 にはコマンドラインでプロキシ設定を一時的に適用して起動するオプションがありましたので紹介します。 …