[emacs] assimilate lean-mode and dependencies

[~bandali/configs] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index c46c70e..d300637 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,9 @@
 [borg]
        pushDefault = aminb
        collective = emacsg
 [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
 [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 "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
 [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 "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 "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 "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
 [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 "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
 [submodule "smex"]  # used by counsel-M-x
        path = lib/smex
        url = git@github.com:nonsequitur/smex.git