From 89e25159665041e5454367380483002c3aa34363 Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Fri, 5 Jul 2013 13:11:26 +0200
Subject: [PATCH] shell/logout: Minor cleanup.

---
 shell/logout | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/shell/logout b/shell/logout
index 4c5eb30..a5e1bbc 100644
--- 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
-- 
2.43.2