Linux– category –

InfiniBandのドライバのインストール方法を記載する．インストール方法は公式サイトを参考にしているが，誤植やわかりにくさがあったため，まとめておく． 久しぶりにMellanoxのウェブサイトに訪問してみると，新しくなっていた．[2021/08/02現在] Mellano...

【Linux】 Ubuntu Debian ソースからインストール v. 1.76.0 https://penguin-coffeebreak.com/archives/458 【Windows】

DockerをDebian 10にインストールする方法を記載する．手順通りにコマンドを入力すると，正常にインストールされる． 【インストール方法】 1. 古いDockerを削除 # apt remove docker docker-engine docker.io containerd runc 2. パッケージの更新 # apt ...

この記事のGitLab構築はDockerを用いて行うこととする．Dockerを用いることのメリットは，1. 簡単に設定できる．2. イメージごとバックアップすることで，他のマシンに移行する場合でも容易に可能である．（通常のGitLabのバックアップはバージョン依存な...

【インストール方法】 $ wget https://boostorg.jfrog.io/artifactory/main/release/1.76.0/source/boost_1_76_0.tar.bz2 $ tar xvf boost_1_76_0.tar.bz2 $ cd boost_1_76_0 $ ./bootstrap.sh --prefix=/opt/boost/1.74 --with-python=/usr/bin/python3 $...

root以外のユーザーで安全にDockerを使用することができるRootless dockerが開発された．本記事の方法を使用するよりも，Rootless Dockerを使用することを推奨する．別記事に詳細をまとめているため，参照されたい． https://e-penguiner.com/rootless-doc...

Emacsでは，Delキーを使用することで直前の文字を削除することができるが，Backspaceで削除できるほうが使い勝手が良い． 通常のエディタのようにでBackspaceで文字を削除できるようにするための方法を紹介する． 【Backspaceが効かないのはなぜか】 Emacs...

DockerをUbuntu18.04にインストールする方法を記載する．手順通りにコマンドを入力すると，正常にインストールされる． 【インストール方法】 1. 古いDockerを削除 # apt remove docker docker-engine docker.io containerd runc 2. パッケージの更新 # ap...

Dockerには様々なコマンドが用意されており，初学者にとってどのような場面でどのコマンドを使用すれば良いか適切に判断することは難しい． ここでは，初心者が最低限覚えておかなければならないDockerコマンドを記載する 【Dockerの基本操作】 Web上に公...

Dockerイメージは基本的に最小インストールなので，Tab補完が有効になっていない場合が多く，かなり使い勝手が悪い．そこで，Bash-Completionを導入し，Tab補完が有効にする． 【Tab補完を有効にする方法】 Tab補完を有効にする方法は以下の通りである． U...