背景 チャットツール slack では有料プランでグループ機能を使えます。 これを使うことでグループに対してメンション（@を付けて発信）を付けてメッセージを作成するとグループに含まれる人に通知が届くので、毎度同じ人たちの名前を連ねる要件があるときに便利です。 そのグループに対して...

ArduinoのプログラムをVSCodeで編集してbashからplatformioを呼び出してビルドする開発をしていると、下記の処理がVSCodeを開き直す度に呼び出された後にビルドがclean後のようにすべてのファイルに対して実施されているのに気づきました。 Tool Mana...

表題の通り「改行をWindows形式からLinux形式」にしつつ「末尾のホワイトスペースを削除」が必要な場面があったので、そのときのコマンドを備忘録として記事に残します。 コマンドはこちらです。 sed -i -e 's/\r$//' -e 's/[ \t...

背景 Jetson AGX Orin とはNvidiaが組み込み用に販売している計算機です。 RDP とはリモートデスクトップ接続に使う通信方式です。 RDP接続設定時に特有の不具合が発生して時間を取られたので、関連情報を記事に残します。 使ったもの Jetson AGX Ori...