Commit b0a196dd authored by nimrod's avatar nimrod
Browse files

Run git Pull in wb -u. 

Update the rcfiles repo as part of the workbench update. Mainly for ns4
that I sometimes don't use for days. So I can run wbr -u and it would
update the image, rcfiles and run the git hook and I would have an
updated environment.
parent a9b5d375

Documents/bin/wb

+5 −5
Original line number Diff line number Diff line
@@ -92,13 +92,13 @@ update() { 
    then

        not_from_toolbox

    fi

    if is_latest

    if ! is_latest

    then

        exit 0

    fi

        kill_server

        podman image prune --filter 'label=com.github.containers.toolbox=true' --force >/dev/null

        yes | toolbox create --image "$IMAGE"

    fi

    toolbox run --container "$CONTAINER" -- git -C "$HOME" Pull

}



dry_update() {