diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-03-11T10·52+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-03-11T10·52+0000 |
| commit | 070057c1b9335ef2c5ff0fe12adb76e214f945ba (patch) | |
| tree | 97c35e93bc77a4a1b3f0787d9c837490f8328673 /scripts | |
| parent | 03afc34805c0dbd5f354b823cb8391fed99c6539 (diff) | |
| parent | c752c9f41aa88ff2129cdc0863fe74f76328835c (diff) | |
* Sync with the trunk.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/nix-prefetch-url.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/nix-prefetch-url.in b/scripts/nix-prefetch-url.in index 7d8bd93a42d8..31170fa953ea 100644 --- a/scripts/nix-prefetch-url.in +++ b/scripts/nix-prefetch-url.in @@ -24,7 +24,7 @@ fi # Handle escaped characters in the URI. `+', `=' and `?' are the only # characters that are valid in Nix store path names but have a special # meaning in URIs. -name=$(basename "$url" | sed -e 's/%2b/+/g' -e 's/%3d/=/g' -e 's/%3f/\?/g') +name=$(basename "$url" | @sed@ -e 's/%2b/+/g' -e 's/%3d/=/g' -e 's/%3f/\?/g') if test -z "$name"; then echo "invalid url"; exit 1; fi |