Where is the Options menu though? I do not see anything called Options.
From: Alfonso Garrido-Lecca [mailto:alfonso.garrido-le...@colorado.edu]
Sent: Tuesday, February 19, 2013 2:54 PM
To: Hakeem Almabrazi; Galaxy Dev
Subject: Re: [galaxy-dev] deleting and free space
you can go to options. then click on show deleted datasets. then this will make
appear all datasets that have been "deleted" but are not yet removed from the
You will see something like this: "This dataset has been deleted. Click here to
undelete or here to immediately remove it from disk". Then just click to
remove from disk and will do the work.
i hope this helps.
Please keep all replies on the list by using "reply all"
in your mail client. To manage your subscriptions to this
and other Galaxy lists, please use the interface at: