はてなブックマーク

はじめに 本稿はLEGOマインドストームで、リアルタイムOSであるTOPPERS/EV3RT用のプログラムをビルドする環境をWindows10 HomeエディションでDockerを使って簡単に構築するための方法を記しています。 Windows10 Pro以上を持っている方はDocker for Windowsをインストールして使う方が楽です。[手順/EV3RTのサンプルコードをダウンロードする]までスキップしてください。 macOSの方はこちら Dockerを用いないビルド環境の構築について もちろんDockerを使わずに環境を構築する方法はあります。 Windowsで環境を構築する場合、例えば公式の方法ではCygWinを使っています。他にも、Bash on Windows[BoW]を使う方法もあります。 しかし、CygWin・BoWは時間がかかり、バージョンによって動作に大きな差1がでる

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

よく使うPostgreSQLで利用可能なコマンドのチートシートです。 環境：psql (PostgreSQL) 9.5.0 端末上で使うコマンド サーバの起動 $ pg_ctl start -D /usr/local/var/postgres サーバの終了 $ pg_ctl stop -D /usr/local/var/postgres サーバが起動しているかの確認 $ ps aux | grep postgres データベース接続 $ psql -d database -U user -h host -d: データベース名(未指定だと、ログインユーザー名のデータベースに接続する) -U: ユーザ名(未指定だと、ログインユーザー名になる) -h: ホスト名(未指定だと、localhostになる) データベース一覧表示 $ psql -l PostgreSqlバージョン表示 $ psql -