bash

【jupyter】Jupyter notebookにbashカーネルを追加した

bash jupyter

ブログ執筆の効率化を図ります。

【bash】ファイルから中身を抜き出すコマンド：grep, head, tail

bash

今回はLinuxコマンドのお勉強です。 研究ではtailをよく使ったかな？

【WSL】意外と知らない？大文字・小文字の同名ファイルの区別についての大事なこと

WSL Windows10 bash

bashカテゴリに厳密には当てはまらないかもしれませんが、Windows10のWSLで予想外なことが起きたのでメモします。

【bash】シェルにおけるパス名展開「[ ]」

bash

前回はワイルドカード編。 今回はちょっぴりテクニカルなパス名展開「[ ]」を確認します。

【bash】シェルにおけるパス名展開「*」「?」

bash

ワイルドカードはよく使いますが、便利なものというのは強力すぎるので正しく扱えるように改めて確認します。

【shell_script】YYYYmmdd名のディレクトリを作り、「.dat」ファイルを移動する

shell_script bash

普通はYYYYMMDDhhmmssのように年月日時分秒と記述されますがタイトルはあえてこう書いています。