diff options
Diffstat (limited to 'redo.sh')
-rwxr-xr-x | redo.sh | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,9 +1,11 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | skip_kiki_build=y | ||
3 | |||
2 | set -ex | 4 | set -ex |
3 | instdir=/home/d/sami/iso/debootstrap/jess | 5 | instdir=/home/d/sami/iso/debootstrap/jess |
4 | sudo make install | 6 | sudo make install |
5 | (cd ~/sami && sudo make instdir=${instdir} install install-configuration) | 7 | (cd ~/sami && sudo make instdir=${instdir} install install-configuration) |
6 | (cd ~/src/kiki && stack install && sudo cp ~/.local/bin/*kiki ${instdir}/usr/local/bin/) | 8 | (cd ~/src/kiki && ([ "$skip_kiki_build" ] || stack install) && sudo cp ~/.local/bin/*kiki ${instdir}/usr/local/bin/) |
7 | sudo touch /usr/local/lib/samizdat-rhizome/initramfs-tools/ | 9 | sudo touch /usr/local/lib/samizdat-rhizome/initramfs-tools/ |
8 | sudo initrd.sh | 10 | sudo initrd.sh |
9 | sudo cp -a /usr/local/lib/samizdat-rhizome/isolinux/linux/* ~/sami/iso/debootstrap/jess/usr/local/lib/samizdat-rhizome/isolinux/linux/ | 11 | sudo cp -a /usr/local/lib/samizdat-rhizome/isolinux/linux/* ~/sami/iso/debootstrap/jess/usr/local/lib/samizdat-rhizome/isolinux/linux/ |