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

feat: Add newgrp to apply docker group changes in session

Browse source
This commit is contained in:
Paul Gauthier (aider) 2024-12-19 11:53:44 -08:00
parent 2216978726
commit aefb5c37fe
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -38,9 +38,12 @@ sudo apt-get install -y docker-ce docker-ce-cli containerd.io docker-compose-plu
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
echo "Applying group changes to current session..."
newgrp docker << EOF
# Print success message # Print success message
echo "Docker installation completed successfully!" echo "Docker installation completed successfully!"
echo "Please log out and log back in for group changes to take effect."
# Start Docker service # Start Docker service
echo "Starting Docker service..." echo "Starting Docker service..."
@ -56,3 +59,5 @@ docker compose version
echo "Docker service status:" echo "Docker service status:"
sudo systemctl status docker --no-pager sudo systemctl status docker --no-pager
EOF