タグ

関連タグで絞り込む (2)

タグの絞り込みを解除

linuxとunixに関するfootosのブックマーク (2)

  • 日本の Linux 情報

    【今日の話題】 Red Hat、Windows版OpenJDKの長期商用サポート提供を発表 → ハイブリッドクラウド/マルチクラウド戦略をさらに前進させるため??? 他 ……………………………………………………………………………………………… 【今日のニュース】 ☆ Red Hat、Windows版OpenJDKの長期商用サポート提供を発表 https://www.publickey1.jp/blog/18/red_hatwindowsopenjdklts.html ☆Ubuntu Weekly Recipe「第550回 Ubuntu 18.10リリース記念 オフラインミーティング 18.12 参加レポート」 http://bit.ly/2S7oNlF ...

  • 技術メモ帳: [unix]複数のファイルの名前をまとめて変更する

    複数のファイルの名前を変更する際に、 便利なコマンドというものがある。 いくつかご紹介させていただこう。 カレントディレクトリにあるファイルの名前を、 たとえば、*.html を *.htm と名前を変更するという課題に対し どのぐらいエレガントに書けるかというのを比較してみる。 まず、普通にやったらどうだろう。 おそらく、for文 をつかうことだろう。 for file in *.html do base=`basename $file .html` mv $base.html $base.htm; done; zshだともうちょっとスマートにかけて、 for file in *.html do mv $file:r.html $file:r.html; done; こんな具合。 for文 が嫌いなネット右翼のために、 xargs を使ってこの問題を解いてみよう。 ls -1 *.htm

  • 1