今回紹介するのは VSCode の SSH リモートディレクトリをターミナルから直接開くときに使う便利なコマンドです。
VSCode には Remote SSH という拡張機能があり、 SSH 接続先のディレクトリをワークスペースとして起動することができます。
しかし、手元のターミナルから code コマンドを使って code user@host などと実行しても開くことはできません。
そこで今回は sshcode というコマンドを新たに作って、
ターミナルからサクッと SSH ディレクトリを開く方法を紹介します。
今回は私が使っている TeX のエディタ環境を紹介します。
注目機能は以下の通りです。
build ディレクトリにまとめるSyncTex による TeX コードと PDF の相互ジャンプ
この記事は 東京工業大学ロボット技術研究会(rogy) Advent Calendar 2018 の 22日目の記事です。
こんにちは。けりです。
今回は、PlatformIOという強力な マイコン開発環境 の紹介です。
PlatformIOとは、mbedやArduinoと似たような感じで、さまざまなボードやライブラリを統一的に開発できる開発環境です。
PlatformIO はESP32マイコンを公式にサポートしていて、ESP-IDFとArduino Core for the ESP32から選んで開発することができます。