From 146bfd6c5619c641732088773e9d0e4cebad3371 Mon Sep 17 00:00:00 2001 From: Neil Sarkar Date: Wed, 11 Nov 2020 07:36:39 -0800 Subject: [PATCH] Add pull.bash and push.bash --- pull.bash | 9 +++++++++ pull.bash.meta | 7 +++++++ push.bash | 4 ++++ push.bash.meta | 7 +++++++ 4 files changed, 27 insertions(+) create mode 100755 pull.bash create mode 100644 pull.bash.meta create mode 100755 push.bash create mode 100644 push.bash.meta diff --git a/pull.bash b/pull.bash new file mode 100755 index 0000000..ad75dcd --- /dev/null +++ b/pull.bash @@ -0,0 +1,9 @@ +cp -r ~/work/King_of_the_Hat/Packages/violetui/ . +tee Runtime/Navigation/ScreenId.cs &> /dev/null <