From f5bb8fefcbd1dd63174acd185c1dd00ffd4df3f7 Mon Sep 17 00:00:00 2001
From: titanz <titanz@pm.me>
Date: Mon, 10 Feb 2025 10:31:32 +0100
Subject: [PATCH] Add user to docker group

---
 development.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/development.sh b/development.sh
index fde3583..4a70d06 100644
--- a/development.sh
+++ b/development.sh
@@ -45,5 +45,7 @@ sudo dnf config-manager addrepo --from-repofile=https://download.docker.com/linu
 
 sudo dnf install -y code docker-ce docker-compose-plugin github-desktop
 
+sudo usermod -aG docker user
+
 # Change the GPG Domain name appropriately
-echo 'QUBES_GPG_DOMAIN=vault' | sudo tee -a /etc/environment
+echo 'QUBES_GPG_DOMAIN=sys-gpg' | sudo tee -a /etc/environment