From b73db03da9f1f7da4ea9d1c3065fea567fbab6bd Mon Sep 17 00:00:00 2001
From: Bruno Raoult <braoult@gmail.com>
Date: Thu, 20 Oct 2022 10:05:16 +0200
Subject: [PATCH] add env.sh

---
 env.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 env.sh

diff --git a/env.sh b/env.sh
new file mode 100644
index 0000000..c25d7b4
--- /dev/null
+++ 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"'