mirror of
https://github.com/urbit/shrub.git
synced 2024-12-24 03:14:30 +03:00
23 lines
440 B
Bash
Executable File
23 lines
440 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -e
|
|
|
|
case $# in
|
|
0) ship=zod; target=./s/zod;;
|
|
1) ship=$1; target=./s/$1;;
|
|
2) ship=$1; target=$2;;
|
|
*) echo "Usage: $0 [ship] [target-dir]" >&2
|
|
exit 1;;
|
|
esac
|
|
|
|
if [ -e "$target" ]
|
|
then echo "Target directory '$target' already exists." >&2
|
|
exit 1
|
|
fi
|
|
|
|
pkg=$(nix-build nix/ops/boot-ship.nix --arg ship "\"$ship\"" --no-out-link)
|
|
|
|
mkdir -p "$(dirname "$target")"
|
|
cp -r $pkg/ $target
|
|
chmod -R u+rw $target
|