diff options
| author | Robert Helgesson <robert@rycee.net> | 2017-01-14 13:02:58 +0100 |
|---|---|---|
| committer | Robert Helgesson <robert@rycee.net> | 2017-01-15 23:42:47 +0100 |
| commit | e0a37be5150b1b4e78e0675cd4ae0424b93e56ea (patch) | |
| tree | 10c8ddb635afeef135896493368caf6ef866e246 /home-manager | |
| parent | d02f8b17efd60811be6d268e7ad6b65354c496d8 (diff) | |
home-manager: check output path
In particular, error out if the output path already exists.
Diffstat (limited to 'home-manager')
| -rw-r--r-- | home-manager/home-manager | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/home-manager/home-manager b/home-manager/home-manager index 5c1d83f6179..1c62468116a 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -11,6 +11,11 @@ function doBuild() { exit 1 fi + if [[ -e "$2" ]]; then + echo "The output path $2 already exists." + exit 1 + fi + local confFile output confFile="$(realpath "$1")" output="$(realpath "$2")" |