tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-09-11 11:47:03 +03:00
Code Issues Projects Releases Wiki Activity

fixing update_channel.sh script

Browse Source
This commit is contained in:
Rok Garbas 2021-01-24 11:30:30 +01:00
parent 61ed646ac9
commit cbd7ad7744
No known key found for this signature in database
GPG Key ID: A0E01EF44C27BF00
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
scripts/update_channel.sh
View File

@ -15,9 +15,8 @@ case $CHANNEL in
;;
esac
echo "Downloading the latest $CHANNEL channel information ..."
curl -Q "https://static.rust-lang.org/dist/channel-rust-$CHANNEL.toml" > $HERE/tmp.toml
echo "Downloading the latest '$CHANNEL' channel information ..."
curl "https://static.rust-lang.org/dist/channel-rust-$CHANNEL.toml" > $HERE/tmp.toml
CHANNEL_FILE=$HERE/channel_$CHANNEL.toml
CHANNEL_DATE=$(nix-instantiate --eval -E "(builtins.fromTOML (builtins.readFile $HERE/tmp.toml)).date")