Updated the copyright headers and the version to 1.1.6.

[selector.git] / bash-selector.sh

diff --git a/bash-selector.sh b/bash-selector.sh
index e7fb461..cbf8ed5 100755 (executable)
--- a/bash-selector.sh
+++ b/bash-selector.sh
@@ -1,31 +1,34 @@
 #!/bin/bash
 
-#########################################################################
-# This program is free software: you can redistribute it and/or modify  #
-# it under the terms of the version 3 of the GNU General Public License #
-# as published by the Free Software Foundation.                         #
-#                                                                       #
-# This program is distributed in the hope that it will be useful, but   #
-# WITHOUT ANY WARRANTY; without even the implied warranty of            #
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU      #
-# General Public License for more details.                              #
-#                                                                       #
-# You should have received a copy of the GNU General Public License     #
-# along with this program. If not, see <http://www.gnu.org/licenses/>.  #
-#                                                                       #
-# Written by and Copyright (C) Francois Fleuret                         #
-# Contact <francois@fleuret.org> for comments & bug reports             #
-#########################################################################
-
-# This script installs two key-bindings:
+#  selector is a simple command line utility for selection of strings
+#  with a dynamic pattern-matching.
 #
-# Alt-r for selector-based command history
+#  Copyright (c) 2009, 2010, 2011, 2012 Francois Fleuret
+#  Written by Francois Fleuret <francois@fleuret.org>
 #
-# Alt-c for selector-based directoy history
+#  This file is part of selector.
 #
-# Note that you have to call it with "source bash-selector.sh"
-# otherwise the key-bindings will not be effective in your current
-# bash
+#  selector is free software: you can redistribute it and/or modify
+#  it under the terms of the GNU General Public License version 3 as
+#  published by the Free Software Foundation.
+#
+#  selector is distributed in the hope that it will be useful, but
+#  WITHOUT ANY WARRANTY; without even the implied warranty of
+#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+#  General Public License for more details.
+#
+#  You should have received a copy of the GNU General Public License
+#  along with selector.  If not, see <http://www.gnu.org/licenses/>.
+
+#  This script installs two key-bindings:
+#
+#  Alt-r for selector-based command history
+#
+#  Alt-c for selector-based directoy history
+#
+#  Note that you have to call it with "source bash-selector.sh"
+#  otherwise the key-bindings will not be effective in your current
+#  bash
 
 if [[ "${BASH_SOURCE[0]}" == "${0}" ]]; then
     echo "This script must be called with 'source $(basename $0)'" >&2