From 02a989fc34c772d33a2a80e7a1fc4a383d6110ad Mon Sep 17 00:00:00 2001
From: Alexander Barton <alex@barton.de>
Date: Fri, 18 Apr 2014 15:09:13 +0200
Subject: [PATCH] Fix comment in user/bash_logout

---
 user/bash_logout | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user/bash_logout b/user/bash_logout
index 80c8d84..b2e4f09 100644
--- a/user/bash_logout
+++ b/user/bash_logout
@@ -17,7 +17,7 @@
 # Clean up SSH agents, if running
 [ $SSH_AGENT_PID ] && eval `ssh-agent -k`
 
-# Clear console, it it is local terminal
+# Clear the console if it is a local terminal
 case `tty` in
     /dev/tty[0-9]*|/dev/ttyS[0-9]*)
 	[ -x /usr/bin/clear_console ] && /usr/bin/clear_console --quiet || clear
-- 
2.39.2