add env.sh

2022-10-20 10:05:16 +02:00
parent f6d1fe7b9d
commit b73db03da9
1 changed files with 7 additions and 0 deletions
--- a/env.sh
+++ b/env.sh
@@ -0,0 +1,7 @@
+# to be sourced, it allows to run C programs with libraries in ../lib.
+export LD_LIBRARY_PATH=../lib
+
+# to get the same output than the default (Makefile) one.
+# usage:
+# TIME command < inputfile
+alias TIME='\time -f "\ttime: %E real, %U user, %S sys\n\tcontext-switch:\t%c+%w, page-faults: %F+%R\n"'