From 020433029da87f3b9bc258c4002ba4659c8fe271 Mon Sep 17 00:00:00 2001
From: xpetit <32063953+xpetit@users.noreply.github.com>
Date: Sat, 19 Jun 2021 07:18:01 +0200
Subject: [PATCH] Add rights to use the format tool

---
 sh/debian/ubuntu/configure.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sh/debian/ubuntu/configure.sh b/sh/debian/ubuntu/configure.sh
index a3680f87..fa6716b2 100755
--- a/sh/debian/ubuntu/configure.sh
+++ b/sh/debian/ubuntu/configure.sh
@@ -486,6 +486,9 @@ if ! test -v PERSISTENT; then
 	gpasswd -d student lpadmin
 	gpasswd -d student sambashare
 
+	# Give to rights to use format tool
+	echo 'student ALL = (root) NOPASSWD: /usr/local/bin/format' >> /etc/sudoers
+
 	cp /etc/shadow /etc/shadow-
 fi