Practical 1

This commit is contained in:
2025-05-06 16:09:38 +02:00
parent 3c07c4234c
commit d2e201b629
20 changed files with 841 additions and 0 deletions

20
Task 2/keydir/update_users.sh Executable file
View File

@@ -0,0 +1,20 @@
#!/bin/bash
# Read in everything in directory
entries=$(ls)
# echo $entries # for testing
# check each item in dir
echo "Usernames:"
for entry in $entries
do
if [[ "$entry" == *.pub ]]
then
username=${entry%.pub}
usernames="$usernames $username"
fi
done
echo $usernames
sed -i "" "s/@demo_project_users = .*/@demo_project_users =$usernames/g" example.conf