Change developers group name to dev

schubergphilis · Jun 14, 2024 · 491c45c · 491c45c
1 parent d63d147
commit 491c45c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/Dockerfile b/src/Dockerfile
@@ -26,7 +26,7 @@ ARG PROJECT_VERSION
 #
 
 ARG DEFAULT_LANG="C.UTF-8"
-ARG DEFAULT_USER_PRIMARY_GROUP="developers"
+ARG DEFAULT_USER_PRIMARY_GROUP="dev"
 ARG DEFAULT_USER_SECONDARY_GROUPS="sudo,docker"
 ARG DEFAULT_USER_SHELL="/bin/bash"
 ARG DEFAULT_USER="dev"

diff --git a/tests/unittest.bats b/tests/unittest.bats
@@ -28,8 +28,8 @@
     [ "$status" -eq 0 ]
 }
 
-@test "developers is the primary group of dev user" {
-    run bash -c "id dev | grep -E 'gid=[0-9]+\(developers\)'"
+@test "dev is the primary group of dev user" {
+    run bash -c "id dev | grep -E 'gid=[0-9]+\(dev\)'"
     [ "$status" -eq 0 ]
 }
 
@@ -48,7 +48,7 @@
 #
 
 @test "sudo is configured" {
-    run ls /etc/sudoers.d/developers
+    run ls /etc/sudoers.d/dev
     [ "$status" -eq 0 ]
 }