4
0

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

More than 5 years have passed since last update.

GalaxyAdvent Calendar 2017

Day 4

Galaxyでファイルを削除してみよう

Last updated at Posted at 2017-12-03

ファイルを削除するのはとても簡単。

画面右の"History"領域で、削除したいファイルを選んで"X"アイコンをクリック。
History_Delete.png

これで、いらないファイルは(^_^)/~。
History_Empty.png

ここでは確認のダイアログも何も表示されない。
そして、本当は消しては駄目だったと後で気づいた:scream:

俗に言う「稀によくある」事態...

そんな時は、まずはコーヒーでも飲んで落ち着こう:coffee:

そして"History"の"deleted"をクリック
History_deleted.png

間違えて消したファイルを見つけて、そのファイル名の上のオレンジのボックスの"Undelete it"をクリック
Screen Shot 2017-12-01 at 11.46.21.png

ファイルを救出したら、"hide deleted"をクリック
History_hide_deleted.png

消したファイルが戻ってくる
History_after_hide_deleted.png

今日はここまで:smiley:

4
0
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
4
0

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?