fix: change directory locations

This commit is contained in:
Job 2024-12-21 20:31:15 +01:00
parent 9cca35a969
commit a69e237bd6
Signed by: Job79
SSH Key Fingerprint: SHA256:BezbKv3jZaqu7SdNrZM0e42b8nlNwh63zaVj/pUxc7U

View File

@ -33,8 +33,8 @@ run_args() {
[ -d "$HOME/.config/git" ] && arg "-v $HOME/.config/git:/home/user/.config/git"
# Mount host directories with programming projects.
[ -d "$HOME/Documents" ] && arg "-v $HOME/Documents:/home/user/Documents"
[ -d "$HOME/.local/share/devcontainer" ] && arg "-v $HOME/.local/share/devcontainer:/home/user/.dev"
[ -d "$HOME/Code" ] && arg "-v $HOME/Code:/home/user/Code"
[ -d "$HOME/.config/devcontainer" ] && arg "-v $HOME/.config/devcontainer:/home/user/.dev"
# Add volumes for .local and .cache so these survive
# container restarts.
@ -58,7 +58,7 @@ while test $# -gt 0; do
done
if [ "$fetch" = true ] || [ "$(podman container inspect "$name" -f {{.State.Running}} 2>&1)" != 'true' ]; then
log "fetching updates..."
log "fetching devcontainer updates..."
if [ "$(podman pull -q "$image")" != "$(podman container inspect "$name" -f {{.Image}} 2>&1)" ]; then
log "container image downloaded" '✓' 32
podman container rm -f -t 1 "$name" 1>/dev/null