diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-10-12 15:11:50 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-10-12 15:18:41 +0200 |
commit | 8036b0942b89022147aaf9cd9940988fdbcc19ef (patch) | |
tree | 519e9c1a1247cb22b1db451ca7abc7cefd5968c6 /gnu | |
parent | dde49cfe5312b95f44060155256036532f3cb22a (diff) | |
download | guix-8036b0942b89022147aaf9cd9940988fdbcc19ef.tar guix-8036b0942b89022147aaf9cd9940988fdbcc19ef.tar.gz |
pull: Don't use rename(2) across potentially different devices.
Reported by Formbi on #guix.
* guix/scripts/pull.scm (migrate-generations): Use 'symlink' and
'delete-file' instead of 'rename-file'. The latter could lead to EXDEV
when $HOME and /var were different partitions.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions