-# Note that you have to call it with ". 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 bash script adds two key bindings:
+#
+# Alt-r to access a selector-based command history
+#
+# Alt-c to access a selector-based directory 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
+ exit 1
+fi