change image in tool

jwjeremy · May 4, 2022 · dd405ad · dd405ad
1 parent e0c88f8
commit dd405ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tool.sh b/tool.sh
@@ -1,2 +1,2 @@
 #!/bin/bash
-docker run -v $(pwd):/shared/ -u $(id -u):$(id -g) uphoffc/seissol-training "$@"
+docker run -v $(pwd):/shared/ -u $(id -u):$(id -g) alicegabriel/seissol-training "$@"