server: User temporary RUN_DIR in $HOME does not exist

This is the case under pbuilder.

diff --git a/server/novaboot-shell b/server/novaboot-shell
index 52c70e47b95fe71e96fdbf68f677cfd981ee4275..a9300b725f9f26f9c248824b02673d45862a9454 100755 (executable)
--- a/server/novaboot-shell
+++ b/server/novaboot-shell
@@ -166,7 +166,12 @@ main() {
     esac
 }
 
-RUN_DIR="$HOME"
+if [ -d "$HOME" ]; then
+    RUN_DIR="$HOME"
+else
+    RUN_DIR="/tmp/novaboot-shell@$USER"
+    mkdir -p "$RUN_DIR"
+fi
 
 if [ -z "$NOVABOOT_ID" ]; then
     main "$@"