diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-10-19T21·34+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-10-19T21·34+0000 |
commit | 00b41e46ed02d16aeea1375c14a84df02a91efba (patch) | |
tree | 72ac770a19fb1bd7c0489da6670d036909b23560 | |
parent | f186a9141efd20b1236b9df29de1bf4b1f2098ce (diff) |
* Print a consistent message.
-rwxr-xr-x | scripts/nix-pull.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/nix-pull.in b/scripts/nix-pull.in index 8fb256179c02..f3cba0c02619 100755 --- a/scripts/nix-pull.in +++ b/scripts/nix-pull.in @@ -73,7 +73,7 @@ sub processURL { # Otherwise, just get the uncompressed manifest. else { - print "obtaining list of Nix archives at `$url'...\n"; + print "fetching list of Nix archives at `$url'...\n"; $manifest = downloadFile $url; } |