shell/logout: Minor cleanup.

diff --git a/shell/logout b/shell/logout
index 4c5eb3087c0ae3fa7844ac1efa0db3ce5b7c2daa..a5e1bbc9c0368cc76825337d82a1476bff383663 100644 (file)
--- a/shell/logout
+++ b/shell/logout
@@ -1,6 +1,6 @@
 # Shell logout file usable by all shells.
 
-# Copyright (C) 2011-2012  Simon Ruderich
+# Copyright (C) 2011-2013  Simon Ruderich
 #
 # This file is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -19,13 +19,13 @@
 # When leaving the console clear the screen to increase privacy. Taken from
 # Debian default bash files and modified. Thanks.
 
-if [ -x /usr/bin/clear_console ]; then
+if test -x /usr/bin/clear_console; then
     /usr/bin/clear_console -q
 else
     clear
 fi
 
 # Make sure sudo rights are removed.
-sudo -k > /dev/null 2>&1
+sudo -k >/dev/null 2>&1
 
 # vim: ft=sh