Re: [galaxy-dev] how to delete datasets or save space on local galaxy

2014-04-15 Thread Carl Eberhard
, April 14, 2014 8:47 AM *To:* Wang, Xiaofei *Cc:* Dannon Baker; galaxy-dev@lists.bx.psu.edu *Subject:* Re: [galaxy-dev] how to delete datasets or save space on local galaxy Hello, That's a good question! Does the size in the top right change when the page is reloaded? Are these datasets

Re: [galaxy-dev] how to delete datasets or save space on local galaxy

2014-04-14 Thread Carl Eberhard
*To:* Wang, Xiaofei *Cc:* galaxy-dev@lists.bx.psu.edu *Subject:* Re: [galaxy-dev] how to delete datasets or save space on local galaxy I replied too soon. To answer your second question, yes, that's how to use the cleanup scripts from the command line. Enabling the option from my previous

Re: [galaxy-dev] how to delete datasets or save space on local galaxy

2014-04-14 Thread Wang, Xiaofei
...@gmail.com] Sent: Monday, April 14, 2014 8:47 AM To: Wang, Xiaofei Cc: Dannon Baker; galaxy-dev@lists.bx.psu.edu Subject: Re: [galaxy-dev] how to delete datasets or save space on local galaxy Hello, That's a good question! Does the size in the top right change when the page is reloaded

Re: [galaxy-dev] how to delete datasets or save space on local galaxy

2014-04-11 Thread Wang, Xiaofei
Baker [dannon.ba...@gmail.com] Sent: Friday, April 11, 2014 4:42 PM To: Wang, Xiaofei Cc: galaxy-dev@lists.bx.psu.edu Subject: Re: [galaxy-dev] how to delete datasets or save space on local galaxy Hi Xiaofei, The (x) simply flags a dataset for deletion, it does not remove it from disk. This happens

Re: [galaxy-dev] how to delete datasets or save space on local galaxy

2014-04-11 Thread Dannon Baker
:* galaxy-dev@lists.bx.psu.edu *Subject:* Re: [galaxy-dev] how to delete datasets or save space on local galaxy Hi Xiaofei, The (x) simply flags a dataset for deletion, it does not remove it from disk. This happens when the instance maintainers run cleanup scripts. If your instance is so

Re: [galaxy-dev] how to delete datasets or save space on local galaxy

2014-04-11 Thread Wang, Xiaofei
@lists.bx.psu.edu Subject: Re: [galaxy-dev] how to delete datasets or save space on local galaxy I replied too soon. To answer your second question, yes, that's how to use the cleanup scripts from the command line. Enabling the option from my previous email will allow users to *immediately* purge datasets