Hi Alfonso, This menu is in the History panel (the far right window). The "Options" menu is now just a gear icon that pulls down a menu (but used to be a button called -> "Options"). If you mouse over it, the url ends in "history_options". See attached. Here is a wiki link that explains more about deleting/purging datasets. http://wiki.galaxyproject.org/Learn/Managing%20Datasets#Delete_vs_Delete_Per... We just updated some of the menu choices, and I'll re-do the wiki/screencast once that stabilizes, but the general gist is the same. You want to "purge" or "delete permanently" to remove from disk - no matter what it is - dataset, history, etc. If you just "delete", the data still is in your quota, with the benefit that it can be "undeleted", unless it has been there a really long time and our admin goes through and deletes it. (I believe that has happened maybe once to extremely old/untouched user-deleted account data, several years abandoned), but each admin runs their server differently. Deleted is like a "hold" box you plan to throw out later if you don't use it. Purge/Perm delete is what you have actually thrown out. Take care, Jen On 2/19/13 1:06 PM, Hakeem Almabrazi wrote:
Thank Alfonso,
Where is the Options menu though? I do not see anything called Options.
Thank you -- Jennifer Hillman-Jackson Galaxy Support and Training http://galaxyproject.org
