Automatic commit

[selector.git] / smarthist.sh

diff --git a/smarthist.sh b/smarthist.sh
index 24b755d..71f7c93 100755 (executable)
--- a/smarthist.sh
+++ b/smarthist.sh
@@ -1,13 +1,26 @@
 #!/bin/bash
 
-##################################################################
-# START_IP_HEADER                                                #
-#                                                                #
-# Written by Francois Fleuret                                    #
-# Contact <francois.fleuret@idiap.ch> for comments & bug reports #
-#                                                                #
-# END_IP_HEADER                                                  #
-##################################################################
+#
+#  selector is a simple shell command for selection of strings with a
+#  dynamic pattern-matching.
+#
+#  Copyright (c) 2009 Francois Fleuret
+#  Written by Francois Fleuret <francois.fleuret@idiap.ch>
+#
+#  This file is part of selector.
+#
+#  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/>.
+#
 
 # You can add in your ~/.inputrc something like
 #  Control-h: "smarthist.sh\n"
@@ -22,6 +35,7 @@ touch ${OUT}
 chmod go-rwx ${OUT}
 
 ${EXE} -o ${OUT} -f ~/.bash_history
+# ${EXE} -b -o ${OUT} -f ~/.bash_history
 
 # We set the echo off