diff options
author | wmertens <Wout.Mertens@gmail.com> | 2014-10-07T15·40+0200 |
---|---|---|
committer | Wout Mertens <Wout.Mertens@gmail.com> | 2016-04-10T19·55+0200 |
commit | 4916d920927b186fb2b88443e062e9e382cded4b (patch) | |
tree | 7da67b1bbfd97ca28bba333ced77532b204041b1 /scripts/nix-pull.in | |
parent | 8cffec84859cec8b610a2a22ab0c4d462a9351ff (diff) |
Always verify nix store on install
Just wasted a couple hours chasing shadows because the nix store got corrupted and there was no indication of that anywhere. Since an install is one-time only, might as well verify. Optimization showed that the copied files aren't read-only; fixed that as well. Also, use /bin/sh since there's a good chance that this script will be run on systems without /bin/bash
Diffstat (limited to 'scripts/nix-pull.in')
0 files changed, 0 insertions, 0 deletions