From 084a0c4082cbd17a3b86e3e09dc3e205d0e7fa7b Mon Sep 17 00:00:00 2001 From: Phillip Lord Date: Fri, 18 Jan 2019 22:38:42 +0000 Subject: [PATCH] Initial notes (to be removed!) --- notes.org | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 notes.org diff --git a/notes.org b/notes.org new file mode 100644 index 00000000000..f9f676a3545 --- /dev/null +++ b/notes.org @@ -0,0 +1,16 @@ + + +1) Scripting? + +Guess we have to use sh + +2) How to get specific directory of a repository + +3) How to work out when a directory is out of date wrt to the make + file + +4) Heuristics for working out which files to copy to right place + +5) Work out what is the right place to copy to + +6) How to enable ELPA packages to customize the process -- 2.39.5