[emacs] assimilate boogie-friends

[~bandali/configs] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index db55daa..d5510fa 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,21 +4,25 @@
 [submodule "alert"]
        path = lib/alert
        url = git@github.com:jwiegley/alert.git
-[submodule "all-the-icons"]
-       path = lib/all-the-icons
-       url = git@github.com:domtronn/all-the-icons.el.git
 [submodule "alloy-mode"]
        path = lib/alloy-mode
        url = git@github.com:dwwmmn/alloy-mode.git
 [submodule "anzu"]
        path = lib/anzu
        url = git@github.com:syohex/emacs-anzu.git
+[submodule "apiwrap"]
+       path = lib/apiwrap
+       url = git@github.com:vermiculus/apiwrap.el.git
 [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 "boogie-friends"]
+       path = lib/boogie-friends
+       url = git@github.com:boogie-org/boogie-friends.git
+       load-path = emacs
 [submodule "borg"]
        path = lib/borg
        url = git@github.com:emacscollective/borg.git
@@ -57,16 +61,12 @@
 [submodule "diff-hl"]
        path = lib/diff-hl
        url = git@github.com:dgutov/diff-hl.git
-[submodule "doom-modeline"]
-       path = lib/doom-modeline
-       url = git@github.com:seagle0128/doom-modeline.git
+[submodule "ebdb"]
+       path = lib/ebdb
+       url = git@github.com:emacsmirror/ebdb.git
 [submodule "edit-indirect"]
        path = lib/edit-indirect
        url = git@github.com:Fanael/edit-indirect.git
-[submodule "eink-theme"]
-       path = lib/eink-theme
-       url = git@github.com:maio/eink-emacs.git
-       remote = aminb git@github.com:aminb/eink-emacs.git
 [submodule "eldoc-eval"]
        path = lib/eldoc-eval
        url = git@github.com:thierryvolpiatto/eldoc-eval.git
@@ -89,6 +89,21 @@
 [submodule "epl"]
        path = lib/epl
        url = git@github.com:cask/epl.git
+[submodule "eshell-up"]
+       path = lib/eshell-up
+       url = git@github.com:peterwvj/eshell-up.git
+[submodule "evil"]
+       path = lib/evil
+       url = git@github.com:emacs-evil/evil.git
+[submodule "evil-escape"]
+       path = lib/evil-escape
+       url = git@github.com:syl20bnr/evil-escape.git
+[submodule "evil-nerd-commenter"]
+       path = lib/evil-nerd-commenter
+       url = git@github.com:redguardtoo/evil-nerd-commenter.git
+[submodule "evil-surround"]
+       path = lib/evil-surround
+       url = git@github.com:emacs-evil/evil-surround.git
 [submodule "exec-path-from-shell"]
        path = lib/exec-path-from-shell
        url = git@github.com:purcell/exec-path-from-shell.git
@@ -101,9 +116,16 @@
 [submodule "flycheck-haskell"]
        path = lib/flycheck-haskell
        url = git@github.com:flycheck/flycheck-haskell.git
+[submodule "general"]
+       path = lib/general
+       url = git@github.com:noctuid/general.el.git
 [submodule "ghub"]
        path = lib/ghub
        url = git@github.com:magit/ghub.git
+[submodule "ghub+"]
+       path = lib/ghub+
+       url = git@github.com:vermiculus/ghub-plus.git
+       remote = aminb git@github.com:aminb/ghub-plus.git
 [submodule "git-modes"]
        path = lib/git-modes
        url = git@github.com:magit/git-modes.git
@@ -119,9 +141,9 @@
 [submodule "helpful"]
        path = lib/helpful
        url = git@github.com:Wilfred/helpful.git
-[submodule "highlight-indent-guides"]
-       path = lib/highlight-indent-guides
-       url = git@github.com:DarthFennec/highlight-indent-guides.git
+[submodule "hl-todo"]
+       path = lib/hl-todo
+       url = git@github.com:tarsius/hl-todo.git
 [submodule "hlint-refactor"]
        path = lib/hlint-refactor
        url = git@github.com:mpickering/hlint-refactor-mode.git
@@ -161,6 +183,13 @@
 [submodule "magit-popup"]
        path = lib/magit-popup
        url = git@github.com:magit/magit-popup.git
+[submodule "magithub"]
+       path = lib/magithub
+       url = git@github.com:vermiculus/magithub.git
+       # magithub creates a `dir' info-related file, which makes git
+       # think the submodule is dirty. so, let's ignore the untracked
+       # files of this submodule
+       ignore = untracked
 [submodule "markdown-mode"]
        path = lib/markdown-mode
        url = git@github.com:jrblevin/markdown-mode.git
@@ -170,9 +199,9 @@
 [submodule "mmm-mode"]
        path = lib/mmm-mode
        url = git@github.com:purcell/mmm-mode.git
-       # mmm-mode creates a `dir' dash info file, which makes git think
-       # that the submodule is dirty. so, let's ignore the untracked
-       # files of dash's submodule
+       # mmm-mode creates a `dir' info-related file, which makes git
+       # think the submodule is dirty. so, let's ignore the untracked
+       # files of this submodule
        ignore = untracked
 [submodule "mwim"]
        path = lib/mwim
@@ -243,6 +272,9 @@
 [submodule "request"]
        path = lib/request
        url = git@github.com:tkf/emacs-request.git
+[submodule "rich-minority"]
+       path = lib/rich-minority
+       url = git@github.com:Malabarba/rich-minority.git
 [submodule "s"]
        path = lib/s
        url = git@github.com:magnars/s.el.git
@@ -258,6 +290,9 @@
 [submodule "slack"]
        path = lib/slack
        url = git@github.com:yuya373/emacs-slack.git
+[submodule "smart-mode-line"]
+       path = lib/smart-mode-line
+       url = git@github.com:Malabarba/smart-mode-line.git
 [submodule "smex"]  # used by counsel-M-x
        path = lib/smex
        url = git@github.com:nonsequitur/smex.git