diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2013-10-28 19:50:41 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2015-06-07 04:27:43 +0200 |
| commit | e596091daf51443248a0cb427832be62552eaf27 (patch) | |
| tree | 947c9dbe584746aa8a20d0f39a42ad0703bc5e6a /src/fripost-partman-udeb/debian/postinst | |
| parent | ea9414878e7613f33b7808feb390d3dd49aefb6c (diff) | |
Reorganization.
Move preseed-related stuff in ./preseed/, and vm-related stuff in
./virtualenv/.
Diffstat (limited to 'src/fripost-partman-udeb/debian/postinst')
| -rwxr-xr-x | src/fripost-partman-udeb/debian/postinst | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/src/fripost-partman-udeb/debian/postinst b/src/fripost-partman-udeb/debian/postinst new file mode 100755 index 0000000..6ba238e --- /dev/null +++ b/src/fripost-partman-udeb/debian/postinst @@ -0,0 +1,25 @@ +#! /bin/sh + +set -ue + +. /lib/fripost-partman/base.sh + +log "Starting..." +db_input high fripost/partition-script || true +db_go +db_get fripost/partition-script +script=/"${RET#/}" + +[ -f "$script" -a -x "$script" ] || \ + fatal "$script does not exist, or is not executable." + +log "Running $script" +log-output -t fripost-partman "$script" + +rv=$? +if [ $rv -ne 0 ]; then + log "Partitioning script failed; exited with $rv" + exit $rv +fi + +log "Partitioning appears to have completed successfully." |