diff options
author | EuAndreh <eu@euandre.org> | 2022-12-03 15:11:29 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2022-12-03 15:11:29 -0300 |
commit | 03eb7bff24353d6007ab797030225b7dee4fa5f4 (patch) | |
tree | cc95adf78d5d5e24c2a6b24974d3672f0a160da5 | |
parent | bin/vm: Place logs under $XDG_LOG_HOME (diff) | |
download | dotfiles-03eb7bff24353d6007ab797030225b7dee4fa5f4.tar.gz dotfiles-03eb7bff24353d6007ab797030225b7dee4fa5f4.tar.xz |
bin/vm: Actually implement dry-run for the "down" action
-rwxr-xr-x | bin/vm | 12 |
1 files changed, 9 insertions, 3 deletions
@@ -322,11 +322,17 @@ case "$ACTION" in if [ "$DRY_RUN" = true ]; then echo rm -f "$PID_F" "$SSH_PORT_F" "$PORTMAPS_F" echo kill "$PID" - else - rm -f "$PID_F" "$SSH_PORT_F" "$PORTMAPS_F" - kill "$PID" + exit fi + + if [ "$VERBOSE" = true ]; then + set -x + fi + rm -f "$PID_F" "$SSH_PORT_F" "$PORTMAPS_F" + kill "$PID" + set +x + write_ssh_config ;; *) |