From f2badcd2b7ff3b1179b2da9660a3329a903377fd Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Tue, 14 Jun 2011 00:03:38 +0200
Subject: [PATCH] in theory can export library to user now

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 doc/dev/logs/2011-06-14.library_for_user | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 doc/dev/logs/2011-06-14.library_for_user

diff --git a/doc/dev/logs/2011-06-14.library_for_user b/doc/dev/logs/2011-06-14.library_for_user
new file mode 100644
index 00000000..325150e2
--- /dev/null
+++ b/doc/dev/logs/2011-06-14.library_for_user
@@ -0,0 +1,19 @@
+How to make library functions available to manifest, explorer, etc.
+
+Some ideas / background:
+
+   - do not have the user to source $__lib/foo if not needed
+   - have $__cdist_lib for internal stuff (probably referring to core/)
+
+Implementation:
+
+load_lib()
+{
+   . $__cdist_lib/*
+}
+
+run_code_from_user()
+{
+   load_lib
+   . file_from_user
+}