From f41c74d6f3546b2f9508466669820edf83c91240 Mon Sep 17 00:00:00 2001
From: Xavier Petit <32063953+xpetit@users.noreply.github.com>
Date: Thu, 28 Nov 2019 19:57:44 +0000
Subject: [PATCH] Prettify

---
 scripts/clean.sh         | 2 +-
 scripts/go.sh            | 4 ++--
 scripts/ubuntu_tweaks.sh | 2 +-
 scripts/vscode.sh        | 4 ++--
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/scripts/clean.sh b/scripts/clean.sh
index 6c23d45da..308b76b33 100755
--- a/scripts/clean.sh
+++ b/scripts/clean.sh
@@ -52,4 +52,4 @@ rm -rf /home/student/.cache
 rm -rf /home/student/.sudo_as_admin_successful /home/student/.bash_logout
 
 rm -rf /tmp/*
-rm -rf /tmp/.* || true
+rm -rf /tmp/.* ||:
diff --git a/scripts/go.sh b/scripts/go.sh
index 9acaaeb62..b1a7e4b3d 100755
--- a/scripts/go.sh
+++ b/scripts/go.sh
@@ -9,7 +9,7 @@ cd $script_dir
 apt-get -y install golang
 
 # Set-up all users
-for DIR in $(ls -1d /root /home/* 2>/dev/null || true)
+for DIR in $(ls -1d /root /home/* 2>/dev/null ||:)
 do
 	# Add convenient aliases & behaviors
 	cat <<-'EOF'>> $DIR/.bashrc
@@ -21,5 +21,5 @@ do
 
 	# Fix rights
 	USR=$(echo "$DIR" | rev | cut -d/ -f1 | rev)
-	chown -R $USR:$USR $DIR || true
+	chown -R $USR:$USR $DIR ||:
 done
diff --git a/scripts/ubuntu_tweaks.sh b/scripts/ubuntu_tweaks.sh
index 4c73282ec..b0194c581 100755
--- a/scripts/ubuntu_tweaks.sh
+++ b/scripts/ubuntu_tweaks.sh
@@ -35,7 +35,7 @@ update-initramfs -u
 update-grub
 
 # Disable swapfile
-swapoff /swapfile || true
+swapoff /swapfile ||:
 rm -f /swapfile
 sed -i '/swapfile/d' /etc/fstab
 
diff --git a/scripts/vscode.sh b/scripts/vscode.sh
index 7ed1f7c59..7565f9486 100755
--- a/scripts/vscode.sh
+++ b/scripts/vscode.sh
@@ -12,7 +12,7 @@ dpkg -i codium_1.40.2-1574798581_amd64.deb
 ln -s /usr/bin/codium /usr/local/bin/code
 
 # Set-up all users
-for DIR in $(ls -1d /home/* 2>/dev/null || true)
+for DIR in $(ls -1d /home/* 2>/dev/null ||:)
 do
 	# Disable most of the telemetry and auto-updates
 	mkdir -p $DIR/.config/VSCodium/User
@@ -32,5 +32,5 @@ do
 
 	# Fix rights
 	USR=$(echo "$DIR" | rev | cut -d/ -f1 | rev)
-	chown -R $USR:$USR $DIR || true
+	chown -R $USR:$USR $DIR ||:
 done