From c701496a176cac0acf66ad91768429c69656d092 Mon Sep 17 00:00:00 2001 From: Sergey Valkov Date: Tue, 19 Sep 2017 14:34:11 +0300 Subject: [PATCH] lean prompt submodule added --- .gitmodules | 3 +++ modules/prompt/external/lean | 1 + modules/prompt/functions/prompt_lean_setup | 1 + 3 files changed, 5 insertions(+) create mode 160000 modules/prompt/external/lean create mode 120000 modules/prompt/functions/prompt_lean_setup diff --git a/.gitmodules b/.gitmodules index 051f2633..1bc0ba60 100644 --- a/.gitmodules +++ b/.gitmodules @@ -28,3 +28,6 @@ [submodule "modules/prompt/external/powerlevel9k"] path = modules/prompt/external/powerlevel9k url = https://github.com/bhilburn/powerlevel9k.git +[submodule "modules/prompt/external/lean"] + path = modules/prompt/external/lean + url = https://github.com/miekg/lean.git diff --git a/modules/prompt/external/lean b/modules/prompt/external/lean new file mode 160000 index 00000000..57cca1a9 --- /dev/null +++ b/modules/prompt/external/lean @@ -0,0 +1 @@ +Subproject commit 57cca1a9deb7d738d421434f5f12a63b6ae15194 diff --git a/modules/prompt/functions/prompt_lean_setup b/modules/prompt/functions/prompt_lean_setup new file mode 120000 index 00000000..3babf60e --- /dev/null +++ b/modules/prompt/functions/prompt_lean_setup @@ -0,0 +1 @@ +../external/lean/prompt_lean_setup \ No newline at end of file