From 3f0f8d0130f681bf7f5d8d20d60dc0f8d2c8db04 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Mon, 30 Apr 2018 18:52:03 -0400 Subject: [PATCH 1/1] [emacs] assimilate lean-mode and dependencies lib/async master v1.9.3-1-g04e1a2c lib/company master 0.9.6-23-gd26ec71 lib/f master v0.20.0 lib/flycheck master 31-118-g0c4bbd1f lib/helm master v2.9.2-24-g56039aaf lib/lean-mode master 6ed7031 lib/popup master v0.5.3-20-g80829dd lib/s master 1.12.0-10-g03410e6 --- .gitmodules | 24 ++++++++++++++++++++++++ init.org | 8 ++++++++ lib/async | 1 + lib/company | 1 + lib/f | 1 + lib/flycheck | 1 + lib/helm | 1 + lib/lean-mode | 1 + lib/popup | 1 + lib/s | 1 + 10 files changed, 40 insertions(+) create mode 160000 lib/async create mode 160000 lib/company create mode 160000 lib/f create mode 160000 lib/flycheck create mode 160000 lib/helm create mode 160000 lib/lean-mode create mode 160000 lib/popup create mode 160000 lib/s diff --git a/.gitmodules b/.gitmodules index c46c70e..d300637 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,9 @@ [borg] pushDefault = aminb collective = emacsg +[submodule "async"] + path = lib/async + url = git@github.com:jwiegley/emacs-async.git [submodule "auto-compile"] path = lib/auto-compile url = git@github.com:emacscollective/auto-compile.git @@ -10,6 +13,9 @@ [submodule "closql"] path = lib/closql url = git@github.com:emacscollective/closql.git +[submodule "company"] + path = lib/company + url = git@github.com:company-mode/company-mode.git [submodule "dash"] path = lib/dash url = git@github.com:magnars/dash.el.git @@ -34,16 +40,28 @@ [submodule "exwm"] path = lib/exwm url = git@github.com:ch11ng/exwm.git +[submodule "f"] + path = lib/f + url = git@github.com:rejeep/f.el.git +[submodule "flycheck"] + path = lib/flycheck + url = git@github.com:flycheck/flycheck.git [submodule "ghub"] path = lib/ghub url = git@github.com:magit/ghub.git [submodule "git-modes"] path = lib/git-modes url = git@github.com:magit/git-modes.git +[submodule "helm"] + path = lib/helm + url = git@github.com:emacs-helm/helm.git [submodule "ivy"] path = lib/ivy url = git@github.com:abo-abo/swiper.git info-path = doc +[submodule "lean-mode"] + path = lib/lean-mode + url = git@github.com:leanprover/lean-mode.git [submodule "magit"] path = lib/magit url = git@github.com:magit/magit.git @@ -60,6 +78,12 @@ [submodule "packed"] path = lib/packed url = git@github.com:emacscollective/packed.git +[submodule "popup"] + path = lib/popup + url = git@github.com:auto-complete/popup-el.git +[submodule "s"] + path = lib/s + url = git@github.com:magnars/s.el.git [submodule "smex"] # used by counsel-M-x path = lib/smex url = git@github.com:nonsequitur/smex.git diff --git a/init.org b/init.org index 7add2c1..56f9fcd 100644 --- a/init.org +++ b/init.org @@ -754,6 +754,14 @@ TODO: break this giant source block down into individual org sections. (setq undo-tree-mode-lighter "")) #+end_src +* Programming modes + +** Lean mode + +#+begin_src emacs-lisp +(use-package lean-mode) +#+end_src + * Post initialization :PROPERTIES: :CUSTOM_ID: post-initialization diff --git a/lib/async b/lib/async new file mode 160000 index 0000000..04e1a2c --- /dev/null +++ b/lib/async @@ -0,0 +1 @@ +Subproject commit 04e1a2c40bef305450389da540ffe7594964e430 diff --git a/lib/company b/lib/company new file mode 160000 index 0000000..d26ec71 --- /dev/null +++ b/lib/company @@ -0,0 +1 @@ +Subproject commit d26ec7182471efcc631bac3c2be122cfcd0f3c4d diff --git a/lib/f b/lib/f new file mode 160000 index 0000000..de6d4d4 --- /dev/null +++ b/lib/f @@ -0,0 +1 @@ +Subproject commit de6d4d40ddc844eee643e92d47b9d6a63fbebb48 diff --git a/lib/flycheck b/lib/flycheck new file mode 160000 index 0000000..0c4bbd1 --- /dev/null +++ b/lib/flycheck @@ -0,0 +1 @@ +Subproject commit 0c4bbd1f8a48200a23bae365d2a6749a2e847717 diff --git a/lib/helm b/lib/helm new file mode 160000 index 0000000..56039aa --- /dev/null +++ b/lib/helm @@ -0,0 +1 @@ +Subproject commit 56039aaf946265621133f0a142073d0d751c6244 diff --git a/lib/lean-mode b/lib/lean-mode new file mode 160000 index 0000000..6ed7031 --- /dev/null +++ b/lib/lean-mode @@ -0,0 +1 @@ +Subproject commit 6ed7031e14cf9c2c481ac68eeffa4e7733e5842b diff --git a/lib/popup b/lib/popup new file mode 160000 index 0000000..80829dd --- /dev/null +++ b/lib/popup @@ -0,0 +1 @@ +Subproject commit 80829dd46381754639fb764da11c67235fe63282 diff --git a/lib/s b/lib/s new file mode 160000 index 0000000..03410e6 --- /dev/null +++ b/lib/s @@ -0,0 +1 @@ +Subproject commit 03410e6a7a2b11e47e1fea3b7d9899c7df26435e -- 2.20.1