2022-11-02 04:17:15 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
2023-04-12 20:34:43 +00:00
|
|
|
pushd "$(dirname "$0")" || exit 1
|
2022-11-23 21:01:41 +00:00
|
|
|
|
2022-11-02 04:17:15 +00:00
|
|
|
git pull
|
|
|
|
|
2022-11-07 03:34:13 +00:00
|
|
|
echo "Done!"
|
2022-11-02 04:17:15 +00:00
|
|
|
|
2023-04-12 20:34:43 +00:00
|
|
|
read -r
|
2022-11-23 21:01:41 +00:00
|
|
|
|
2023-04-12 20:34:43 +00:00
|
|
|
popd || exit
|