have to look up what it does... :)
Yes its public but users are required to signup themselves. So all data is
linked to users....but which data to whome?
Of course I can hack the DB and find out but I thought there should be a more
convenient way of doing this for galaxy admins!?
Van: Hans-Rudolf Hotz [h...@fmi.ch]
Verzonden: zaterdag 28 januari 2012 13:10
Aan: Bossers, Alex
Onderwerp: Re: [galaxy-dev] How to delete user (and unshared files) in local
instance by galaxy-admin (panel)
Since you are talking about your public server, I assume you don't have
external authentication. Hence, have you considered to turn on the
Nice and very efficient way of cleaning up.....
On 01/27/2012 10:43 PM, Bossers, Alex wrote:
> Hi All,
> We are finally up-and-running again with the latest dist release. The
> previoous version was ok but already quite old.
> For our local public server at wur we are now encountering the awaited disk
> space issues..... as had to come some day....but sooner anyway... So we have
> been cleaning up. Used the cleanusp scripts for marked as deleted files and
> But two issues remain for galaxy-admin users:
> 1) How to really delete a user and its non (no-longer) shared files? (from
> the admin panel)
> 2) Is there a way to get the user disk space usage in the admin panel (or
> using some other method?)? Thereby we can contact that user to push cleaning
> up files.
> 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:
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: