04.02.2022

.gitmodules

+[submodule "UFrameIT"]
+	path = UFrameIT
+	url = https://gl.kwarc.info/FrameIT/UFrameIT.git
+	branch = master
+	fetchRecurseSubmodules = true
+[submodule "MMT"]
+	path = MMT
+	url = https://github.com/UniFormal/MMT.git
+	branch = devel
+[submodule "archives"]
+	path = archives
+	url = https://github.com/UFrameIT/archives.git
+	branch = master

MMT @ c1f7e693

+Subproject commit c1f7e693cc6ad92293733fa6a44a04a248a87bb7

UFrameIT @ 5fab9754

+Subproject commit 5fab975401dc3d05115f302f3030abb436b14f79

archives @ d5d414e4

+Subproject commit d5d414e49e5fb911cc546ee3a8d6d0dc1bbeaedf

update-remote.sh

+#!/bin/sh
+
+# TODO: branch is up to date? Want to continue anyway if not?
+# TODO: are there uncommited changes?
+
+# echo commands
+set -x
+
+git pull
+
+# change the remote url to the one that is in the .gitmodules file
+git submodule sync
+git submodule update --remote --init
+
+# echo off
+set +x
+
+# wait for user input to let the user see if there were any errors
+read -p "Press enter to continue" ENTER
\ No newline at end of file

update.sh

+#!/bin/sh
+
+# TODO: branch is up to date? Want to continue anyway if not?
+# TODO: are there uncommited changes?
+
+# echo commands
+set -x
+
+git pull
+
+# change the remote url to the one that is in the .gitmodules file
+git submodule sync
+git submodule update --init
+
+# echo off
+set +x
+
+# wait for user input to let the user see if there were any errors
+read -p "Press enter to continue" ENTER
\ No newline at end of file