From 1b44eb6404d07642694d3c5b11333b76677e1497 Mon Sep 17 00:00:00 2001 From: Fernando Barillas Date: Sat, 6 Aug 2016 14:16:31 -0700 Subject: [PATCH] [prompt] Add lean prompt: github.com/miekg/lean Closes #71 --- .gitmodules | 3 +++ modules/prompt/external-themes/lean | 1 + modules/prompt/functions/prompt_lean_setup | 1 + 3 files changed, 5 insertions(+) create mode 160000 modules/prompt/external-themes/lean create mode 120000 modules/prompt/functions/prompt_lean_setup diff --git a/.gitmodules b/.gitmodules index 9ac42d9..f2bee87 100644 --- a/.gitmodules +++ b/.gitmodules @@ -13,3 +13,6 @@ [submodule "modules/prompt/external-themes/liquidprompt"] path = modules/prompt/external-themes/liquidprompt url = https://github.com/nojhan/liquidprompt.git +[submodule "modules/prompt/external-themes/lean"] + path = modules/prompt/external-themes/lean + url = https://github.com/miekg/lean diff --git a/modules/prompt/external-themes/lean b/modules/prompt/external-themes/lean new file mode 160000 index 0000000..0ccf0c3 --- /dev/null +++ b/modules/prompt/external-themes/lean @@ -0,0 +1 @@ +Subproject commit 0ccf0c34ac23fe86a69f78a960d5b340b0f4c880 diff --git a/modules/prompt/functions/prompt_lean_setup b/modules/prompt/functions/prompt_lean_setup new file mode 120000 index 0000000..13294d9 --- /dev/null +++ b/modules/prompt/functions/prompt_lean_setup @@ -0,0 +1 @@ +../external-themes/lean/prompt_lean_setup \ No newline at end of file