From d074bf27894063d80f03b26f229cf23647dd9dd1 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Mon, 20 Jan 2020 20:00:49 +0000 Subject: [PATCH] Update TODO. --- TODO | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/TODO b/TODO index 945d71a..9977889 100644 --- a/TODO +++ b/TODO @@ -39,4 +39,8 @@ but it evaluates the output of a function as Goalfile syntax). Implement make-like “origin” function. This is easy but it requires us to track to the origin of definitions which we do not do at -the moment. \ No newline at end of file +the moment. + +Some kind of “source” directive. If goals sees this then +it automatically sources the parameter (a shell script) into +every shell command. -- 1.8.3.1