diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-03-27 11:48:01 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-03-27 14:51:44 +0200 |
| commit | 82b71ac366ef154400653d264b46b7aa3520f393 (patch) | |
| tree | 5aed06ac05e3a7e8d466662d2d4db974694e8961 /.gitignore | |
| parent | 7ddd418a1d678b5ecaac185bde8576c4ed68adf7 (diff) | |
| download | patches-82b71ac366ef154400653d264b46b7aa3520f393.tar patches-82b71ac366ef154400653d264b46b7aa3520f393.tar.gz | |
activation: Pass '-d HOME' to 'usermod'.
Fixes a bug whereby changes to user home directories in the OS config
would never be effective.
Reported by Pierre Neidhardt <ambrevar@gmail.com>.
* gnu/build/activation.scm (modify-user): Pass '-d HOME'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions