diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-10T16·14+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-10T16·14+0000 |
commit | 92e832348db13637875c4f529ed0aa83d3d34493 (patch) | |
tree | c00a500e1be79bf061f8ebd17e694eb4f7ee8d55 /scripts/readmanifest.pm.in | |
parent | 6551b36790d47477087fc3a7f7bb779f28e42d8e (diff) |
* Lots of manual stuff. Reference pages for most Nix commands.
* nix-pull now requires the full url to the manifest, i.e., `/MANIFEST/' is no longer automatically appended. * nix-prefetch-url works again.
Diffstat (limited to 'scripts/readmanifest.pm.in')
-rw-r--r-- | scripts/readmanifest.pm.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/readmanifest.pm.in b/scripts/readmanifest.pm.in index 2c6223807d0c..08227a5d7ea5 100644 --- a/scripts/readmanifest.pm.in +++ b/scripts/readmanifest.pm.in @@ -11,7 +11,7 @@ sub processURL { print "obtaining list of Nix archives at $url...\n"; system("curl --fail --silent --show-error " . - "'$url/MANIFEST' > '$manifest' 2> /dev/null") == 0 + "'$url' > '$manifest' 2> /dev/null") == 0 or die "curl failed: $?"; open MANIFEST, "<$manifest"; |