git://git.jankratochvil.net
/
nethome.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0f7bb86
)
+function mi
author
short
<>
Tue, 27 Nov 2001 21:14:00 +0000
(21:14 +0000)
committer
short
<>
Tue, 27 Nov 2001 21:14:00 +0000
(21:14 +0000)
.bashrc
patch
|
blob
|
history
diff --git
a/.bashrc
b/.bashrc
index
eca975d
..
1b84bed
100644
(file)
--- a/
.bashrc
+++ b/
.bashrc
@@
-87,6
+87,9
@@
function edall {
(awk </dev/null 'BEGIN{ for (i=1;i<ARGC;i++) print ARGV[i]; }' "$@";echo -e 'w\nq')|ed -s "$i"
done
}; export -f edall
+function mi { (
+ set -ex;cd "$1";while true;do test "$PWD" != "/";if [ -e configure.in ];then break;fi;cd ..;done;make install;
+ ); };export -f mi
ulimit -c 0