Dockerの概念や仕組みまではなんとなく理解できるもののDockerfileを書こうとするとスムーズに書けなかったり、そもそものDockerの基礎、あるいはコンテナ技術というものの基礎が抜け落ちていてDocker環境に移行できていないところも多いのではと思い、この記事を翻訳しました。 Source：The Docker Handbook by Farhan Hasin Chowdhury（@Twitter） 本記事は、原著者の許諾のもとに翻訳・掲載しております。 コンテナ化の概念自体はかなり古いですが、2013年にDocker Engineが登場したことで、アプリケーションのコンテナ化がはるかに簡単になりました。 Stack Overflow Developer Survey-2020によると、 Dockerは#1 最も望まれるプラットフォーム、#2 最も愛されるプラットフォーム、および
RaspberryPi Picoをデバッガ（PicoProbe）で開発 - Kamuycikap - SentenceDataBase
Raspberry pi Picoをデバッガで開発する 500円という破格の金額で販売されているRaspberryPi Pico。 Raspberry Piと冠がついていますが、これマイコン（すでに死語？）です。 CPUには独自開発の「RP2040」が採用されており、開発メインマシンはRaspberry Pi 4が推奨されています。 Pi4に接続して開発する手法が多々紹介されているのですが、公式ドキュメントを読むと、Pi4以外の他OSのPC（WindowsやLinuxやMAC）からでもデバッグ開発できるようにできる仕組みが記載されています。 すでにWindows10でPicoをデバッグ開発する方法は多々公開されておりますので、この記事ではLinuxで環境を整える手法を公開します。 Raspberry pi Picoをデバッガで開発する 環境 開発環境構築 インストールスクリプトダウンロード
WSL（Windows Subsystem for Linux）のターミナル比較とcygwin/Dockerとのベンチマーク
WSL（Windows Subsystem for Linux）のターミナル比較とcygwin/Dockerとのベンチマーク こんにちは。tocci3です。 Windows 7のサポート終了に伴い、会社のデスクトップマシンをWindows 10に移行しました。 最近移行された方も多いのではないでしょうか？ いままでは手元のUNIX系OSの実行環境としてcygwinを使ってきたのですが、Windows 10で対応したWSL（Windows Subsystem for Linux）をインストールしてみました。 導入に関し、少し悩んで試してみたこと、 WSL（とcygwin）を使うにはどのターミナルが使いやすいか？ Windows上のCUI・UNIX系OSの実行環境として、WSL/cygwin/docker（とWindows 10ネイティブも） のどれを使えばいいか？ （bash/python/
【画像生成AI】クラウド最安!? GPUSOROBANでStable Diffusion WebUIを動かす【￥50/1h】｜カガミカミ水鏡🔞
【画像生成AI】クラウド最安!? GPUSOROBANでStable Diffusion WebUIを動かす【￥50/1h】 なしてワイはRTX A4000を買ってしまったんや…… こんにちは、画像生成はローカル構築勢のカガミカミ水鏡です。 Stable Diffusion WebUI Automatic1111（以下A1111）を楽しむには主に、ローカル（自前のPCで動かす）とクラウド（GPUサーバを時間借りする）の２通りがあります。 ローカルは構築が比較的お手軽だけど初期費用に20万円前後かかるし（GeForce搭載のゲーミングPCを持っていない場合）、更に画像生成沼にドハマリし、より速い・より学習できる環境を求めて上位のGPUに買い替えすると更に10万円前後も追加費用が…… あっちなみに俺はRTX3060Ti(8GB) 👉 RTX3060(12GB) 👉 RTX A4000(16
morimorihogeです。ようやく寒くなってきましたね。 直近諸々の事情で2，3回ほどWindows10/11作業環境を再構築する機会があり、WSL環境の移行も行いましたのでその辺りの手順について忘れないうちにまとめておきます。 開発環境をWSL環境内に集約しておけばとても簡単に移行できるので、参考になれば。 なお、基本的な手順は以下の公式ドキュメントにも記載されています。WSL2環境を前提に書いていますが、基本的な手順はWSL1でも踏襲できると思われます。細部が異なるとは思いますがその点はご了承下さい。 参考：WSL で使用する Linux ディストリビューションをインポートする wsl --exportでtarイメージを出力する 管理者モードでコマンドプロンプトやPowerShellを開き、 wsl --export #{WSL環境名} #{出力先ファイル名} でtarファイルが出
「macOS」でSSHのユーザー名を設定するには
Jack Wallen （Special to ZDNET.com） 翻訳校正： 編集部 2023-01-31 07:45 筆者は「Linux」を常用している。デスクトップとサーバーで同じユーザー名を使用することが多い。つまり、筆者のSSHコマンドのほとんどは、以下のような形式になる。 ssh 192.168.1.100 非常に長い間、SSHを使用してきたので、その習慣は自分の中にしっかりと根付いている。 しかし、「MacBook」や「iMac」を使用する場合、それらのユーザー名はLinuxサーバーと異なることが多い。つまり、そのコマンドは、以下のように変換する必要がある（Usernameはリモートサーバー上のユーザー名）。 ssh USERNAME@192.168.1.100 確かに、大した違いはない。コマンドにユーザー名を追加するのに、それほど時間はかからない。しかし、サーバーへのログ
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Dockerハンドブック - 教会エンジニアの開発日記
Windows 10/11でWSL環境を移行する方法｜TechRacho by BPS株式会社