chore: synchronise get-docker.sh with upstream

2026-07-20 03:42:41 +00:00
1 parent 75100d0d0e
commit 97c2079ab9
@@ -775,4 +775,4 @@ do_install() {

 # wrapped up in a function so that we have some protection against only getting
 # half the file during "curl | sh"
-do_install
+do_install