dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-05-29 16:54:59 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

fix: Improve docker group addition and instructions

Browse source
This commit is contained in:
Paul Gauthier (aider) 2024-12-19 11:56:03 -08:00
parent aefb5c37fe
commit 46a444dc21
1 changed files with 15 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

20
benchmark/install-docker-ubuntu.sh
View file

@ -34,16 +34,26 @@ sudo apt-get update
echo "Installing Docker Engine..." echo "Installing Docker Engine..."
sudo apt-get install -y docker-ce docker-ce-cli containerd.io docker-compose-plugin sudo apt-get install -y docker-ce docker-ce-cli containerd.io docker-compose-plugin
# Add current user to docker group # Add current user to docker group and verify
echo "Adding current user to docker group..." echo "Adding current user to docker group..."
sudo usermod -aG docker $USER sudo usermod -aG docker $USER
# Apply group changes to current session # Verify group addition
echo "Applying group changes to current session..." if getent group docker | grep -q "\b${USER}\b"; then
newgrp docker << EOF echo "Successfully added $USER to docker group"
else
echo "Failed to add $USER to docker group. Retrying..."
# Force group addition
sudo gpasswd -a $USER docker
fi
# Print success message # Print success message and instructions
echo "Docker installation completed successfully!" echo "Docker installation completed successfully!"
echo -e "\n*** IMPORTANT: Group changes require a complete session refresh."
echo "Please run these commands in sequence:"
echo "1. sudo systemctl restart docker"
echo "2. exit"
echo -e "Then log back in and docker commands should work without sudo\n"
# Start Docker service # Start Docker service
echo "Starting Docker service..." echo "Starting Docker service..."