タグ

ブックマーク / www.sodan.ecc.u-tokyo.ac.jp (1)

  • 今週の技 〜 dired を使いこなそう

    dired とは? dired というのは、"Directory Editor" です。初耳のかたもいらっしゃるでしょう。これは、mule の上で、コマンド "rm" "mv" "cp" "chmod" などと同等の作業が手軽にできてしまう、というすぐれものです。これを使うと、不要ファイルをまとめて安全に消したり、mule で編集作業をしながら気軽にファイル操作ができたりします。 dired を起動する まずは、mule を立ち上げた状態にしてください。そこから、"C-x d" と打ち込んでください。または、ファイルではなく、ディレクトリを C-x C-f で開こうとしても dired になります。 ミニバッファにディレクトリ名を打ち込んでください。(既に表示されていたら、そのままでかまいません。)そして Return を押せば dired モードに突入です。 このように、編集したいディレ

    moqada
    moqada 2007/11/24
    不要なファイルをまとめて安全に消したり、muleで編集作業しながら気軽にファイル操作できる
  • 1