hydrus/git_pull.command

#!/bin/bash

pushd "$(dirname "$0")"

git pull

echo "Done!"

read

popd
New Running from Source and Build gubbins For testing by users, particularly Linux and macOS. 2022-11-02 04:17:15 +00:00			`#!/bin/bash`

Version 507 2022-11-23 21:01:41 +00:00			`pushd "$(dirname "$0")"`

New Running from Source and Build gubbins For testing by users, particularly Linux and macOS. 2022-11-02 04:17:15 +00:00			`git pull`

Base directory cleanup and misc tweaks 2022-11-07 03:34:13 +00:00			`echo "Done!"`
New Running from Source and Build gubbins For testing by users, particularly Linux and macOS. 2022-11-02 04:17:15 +00:00
			`read`
Version 507 2022-11-23 21:01:41 +00:00
			`popd`