X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?p=selector.git;a=blobdiff_plain;f=smarthist.sh;h=71f7c93efbd3b9a3dfcee8c7c0a712131172fe31;hp=24b755d8f20c8dd8b03435d26b387e6540107652;hb=f096f32710e8de97b870b7728746d442f0cce4ab;hpb=b34072e0fd639bd0214c3186ca143c04962f51a7

diff --git a/smarthist.sh b/smarthist.sh
index 24b755d..71f7c93 100755
--- 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