From f01528ae6fe44c3c39e649a12718ad59bddf3b37 Mon Sep 17 00:00:00 2001 From: Dustin Kirkland Date: Fri, 27 Feb 2009 14:42:06 -0600 Subject: [PATCH] minor documentation change --- screen | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/screen b/screen index 8eb266d5..bc835c92 100755 --- a/screen +++ b/screen @@ -38,7 +38,7 @@ if [ -r "$HOME/.screenrc" -a ! -e "$HOME/.screen-profiles/profile" ]; then exit $? fi -# Next, let's ensure that the user has selected a screen profile +# Ensure that the user has selected a screen profile [ -r "$HOME/.screen-profiles/profile" ] || /usr/bin/select-screen-profile # Ensure that their keybindings are seeded