Hi All,
I'm not sure how to deal with /home/$USER leftovers (i.e. while
package install a new user/group is created and while package
deinstalled /home/$USER becomes a leftover, but we display a
message that a user should be removed manually):
[...]
phase 7: make
The files in /home/$USER (and /var) should be preserved. Deinstalls may
be part of an upgrade process, vs permanent removal, and some of these
files contain usage statistics needed by sysadmins for reporting.
I would suggest the following deinstall message:
You may remove /home/$USER if
(reformatted for consistency sake)
25.11.2013 18:26, Jason bacon пишет:
On 11/25/13 2:56 AM, Boris Samorodov wrote:
I'm not sure how to deal with /home/$USER leftovers (i.e. while
package install a new user/group is created and while package
deinstalled /home/$USER becomes a leftover, but we
Am 25.11.2013 18:30 schrieb Boris Samorodov b...@passap.ru:
(reformatted for consistency sake)
25.11.2013 18:26, Jason bacon пишет:
On 11/25/13 2:56 AM, Boris Samorodov wrote:
I'm not sure how to deal with /home/$USER leftovers (i.e. while
package install a new user/group is created
25.11.2013 22:44, Bernhard Fröhlich пишет:
Am 25.11.2013 18:30 schrieb Boris Samorodov b...@passap.ru:
(reformatted for consistency sake)
25.11.2013 18:26, Jason bacon пишет:
On 11/25/13 2:56 AM, Boris Samorodov wrote:
I'm not sure how to deal with /home/$USER leftovers (i.e. while
SLURM is an open-source resource manager designed for *nix clusters of all
sizes. It provides three key functions. First it allocates exclusive and/or
non-exclusive access to resources (computer nodes) to users for some duration
of time so they can perform work. Second, it provides a framework for
