We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7888641 commit 0ee8d99Copy full SHA for 0ee8d99
etc/DependencyInstaller.sh
@@ -160,6 +160,14 @@ _installUbuntuPackages() {
160
rm -rf "${baseDir}"
161
fi
162
163
+ if command -v docker &> /dev/null; then
164
+ # The user can uninstall docker if they want to reinstall it,
165
+ # and also this allows the user to choose drop in replacements
166
+ # for docker, such as podman-docker
167
+ echo "Docker is already installed, skip docker reinstall."
168
+ return 0
169
+ fi
170
+
171
# Add Docker's official GPG key:
172
install -m 0755 -d /etc/apt/keyrings
173
curl -fsSL https://download.docker.com/linux/ubuntu/gpg \
0 commit comments