diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-06-12 02:00:03 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-06-12 02:00:00 +0200 |
| commit | 998d9a6183e7967e10833d5c0d5f36322bfa83a9 (patch) | |
| tree | 8d976b827a6dded2e1ac4caedc22893c97b725ed | |
| parent | 88b098d9ba523b41fac813ae6ee296579ceab659 (diff) | |
| download | guix-998d9a6183e7967e10833d5c0d5f36322bfa83a9.tar.gz | |
pull: Fix typo in error message.
* guix/scripts/pull.scm (guix-pull): Report the right user name/ID.
| -rw-r--r-- | guix/scripts/pull.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guix/scripts/pull.scm b/guix/scripts/pull.scm index 24151f7ed3..df683b61c4 100644 --- a/guix/scripts/pull.scm +++ b/guix/scripts/pull.scm @@ -832,7 +832,7 @@ Use '~/.config/guix/channels.scm' instead.")) (&message (message (format #f (G_ "directory ‘~a’ is not owned by user ~a") - dir dir:user))) + dir our:user))) (&fix-hint (hint (format #f (G_ "You should run this command as ~a; use ‘sudo -i’ or equivalent if you really want to pull as ~a.") |