2019-08-01から1ヶ月間の記事一覧
背景 現在,CentOSで構築しているサーバに外付けのSSDを接続し,そちらを/homeにマウントしている. しかし,CentOSの初期設定の際に/homeには論理ボリュームcentos-homeが割り当てられていた. centos-homeはどこにもマウントされていないためcentos-rootに…
はじめに 突然ですがグレブナー基底をご存知ですか? 2017年冬,私は「妹がグレブナー基底に持ち始めたのだが。」*1というカクヨムの小説で出会いました. "グレブナー基底"初めて聞いた(見た)その単語は刺激的で,ポン酢が似合いそうだなと思いました.嘘で…
背景 次の図(?)ように,サーバA(踏み台サーバ)が外部ネットワークに公開されており,サーバB, C, ...(内部サーバ)には外部からアクセスできないようになっている環境はよくあります. 家 ----- インターネット ----- サーバA ----- サーバB +-- サーバC +-- …
背景 普段macを使用していますが,先日WindowsのBash on Ubuntu on Windowsからサーバにsshすることがありました. その際,以下のような警告が出てきたので対処法を書きます. perl: warning: Setting locale failed. perl: warning: Please check that you…