Hi Jennifer,
Active and Deleted histories can be permanently deleted using from the
History pane "Options -> Saved Histories", then at the top of the middle
panel click on "Advanced Search", then click on "status: all". Check the
box for the histories to be discarded and then click on the button
"Permanently delete".
Full instructions with a video walk-through are here:
https://wiki.galaxyproject.org/Learn/ManagingDatasets#Delete_vs_Delete_Permanently
Best,
Jen
Galaxy team
On 5/5/14 10:33 AM, Jennifer Gotenstein wrote:
I need to clear space from my quota of usage in my galaxy main user
account, but I deleted 2 histories, rather than permanently deleting
them. How can I access them again so that I may permanently delete
them to clear the space?
Thank you,
Jennifer
___________________________________________________________
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:
http://lists.bx.psu.edu/
To search Galaxy mailing lists use the unified search at:
http://galaxyproject.org/search/mailinglists/
--
Jennifer Hillman-Jackson
http://galaxyproject.org
___________________________________________________________
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:
http://lists.bx.psu.edu/
To search Galaxy mailing lists use the unified search at:
http://galaxyproject.org/search/mailinglists/
