[emacs] Assimilate 3 drones (geiser & guix & a dep)

[~bandali/configs] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index fa3abec..eb57246 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,9 @@
 [borg]
        pushDefault = aminb
        collective = emacsg
 [borg]
        pushDefault = aminb
        collective = emacsg

+[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 "all-the-icons"]
        path = lib/all-the-icons
        url = git@github.com:domtronn/all-the-icons.el.git


@@ -13,21 +16,25 @@
 [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

+[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
 [submodule "borg"]
        path = lib/borg
        url = git@github.com:emacscollective/borg.git

-[submodule "borg-nix-shell"]
-       path = lib/borg-nix-shell
-       url = git@github.com:thblt/borg-nix-shell.git
+[submodule "boxquote"]
+       path = lib/boxquote
+       url = git@github.com:davep/boxquote.el.git
+[submodule "bui"]
+       path = lib/bui
+       url = git@github.com:alezost/bui.el.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 "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 "counsel-notmuch"]
-       path = lib/counsel-notmuch
-       url = git@github.com:fuxialexander/counsel-notmuch.git

 [submodule "crux"]
        path = lib/crux
        url = git@github.com:bbatsov/crux.git
 [submodule "crux"]
        path = lib/crux
        url = git@github.com:bbatsov/crux.git


@@ -45,26 +52,34 @@
 [submodule "diff-hl"]
        path = lib/diff-hl
        url = git@github.com:dgutov/diff-hl.git
 [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 "eink-theme"]
-       path = lib/eink-theme
-       url = git@github.com:maio/eink-emacs.git
-       remote = aminb git@github.com:aminb/eink-emacs.git
+[submodule "doom-themes"]
+       path = lib/doom-themes
+       url = git@github.com:hlissner/emacs-doom-themes.git
+[submodule "edit-indirect"]
+       path = lib/edit-indirect
+       url = git@github.com:Fanael/edit-indirect.git

 [submodule "eldoc-eval"]
        path = lib/eldoc-eval
        url = git@github.com:thierryvolpiatto/eldoc-eval.git
 [submodule "eldoc-eval"]
        path = lib/eldoc-eval
        url = git@github.com:thierryvolpiatto/eldoc-eval.git

+[submodule "elisp-refs"]
+       path = lib/elisp-refs
+       url = git@github.com:Wilfred/elisp-refs.git

 [submodule "emacsql"]
        path = lib/emacsql
        url = git@github.com:skeeto/emacsql.git
        no-byte-compile = emacsql-pg.el
 [submodule "emacsql"]
        path = lib/emacsql
        url = git@github.com:skeeto/emacsql.git
        no-byte-compile = emacsql-pg.el

+[submodule "emmet-mode"]
+       path = lib/emmet-mode
+       url = git@github.com:smihica/emmet-mode.git

 [submodule "epkg"]
        path = lib/epkg
        url = git@github.com:emacscollective/epkg.git
 [submodule "epl"]
        path = lib/epl
        url = git@github.com:cask/epl.git
 [submodule "epkg"]
        path = lib/epkg
        url = git@github.com:emacscollective/epkg.git
 [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 "exec-path-from-shell"]
        path = lib/exec-path-from-shell
        url = git@github.com:purcell/exec-path-from-shell.git
 [submodule "exec-path-from-shell"]
        path = lib/exec-path-from-shell
        url = git@github.com:purcell/exec-path-from-shell.git


@@ -77,21 +92,49 @@
 [submodule "flycheck-haskell"]
        path = lib/flycheck-haskell
        url = git@github.com:flycheck/flycheck-haskell.git
 [submodule "flycheck-haskell"]
        path = lib/flycheck-haskell
        url = git@github.com:flycheck/flycheck-haskell.git

+[submodule "geiser"]
+       path = lib/geiser
+       url = git@gitlab.com:jaor/geiser.git
+       info-path = doc/
+       load-path = elisp
+       build-step = ./autogen.sh
+       build-step = ./configure
+       build-step = make

 [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 "graphql"]
+       path = lib/graphql
+       url = git@github.com:vermiculus/graphql.el.git
+[submodule "guix"]
+       path = lib/guix
+       url = git@github.com:alezost/guix.el.git
+       info-path = doc/
+       load-path = elisp
+       build-step = ./autogen.sh
+       build-step = ./configure
+       build-step = make

 [submodule "haskell-mode"]
        path = lib/haskell-mode
        url = git@github.com:haskell/haskell-mode.git
 [submodule "helm"]
        path = lib/helm
        url = git@github.com:emacs-helm/helm.git
 [submodule "haskell-mode"]
        path = lib/haskell-mode
        url = git@github.com:haskell/haskell-mode.git
 [submodule "helm"]
        path = lib/helm
        url = git@github.com:emacs-helm/helm.git

+[submodule "helpful"]
+       path = lib/helpful
+       url = git@github.com:Wilfred/helpful.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
 [submodule "hlint-refactor"]
        path = lib/hlint-refactor
        url = git@github.com:mpickering/hlint-refactor-mode.git

+[submodule "ht"]
+       path = lib/ht
+       url = git@github.com:Wilfred/ht.el.git

 [submodule "hydra"]
        path = lib/hydra
        url = git@github.com:abo-abo/hydra.git
 [submodule "hydra"]
        path = lib/hydra
        url = git@github.com:abo-abo/hydra.git


@@ -105,6 +148,9 @@
 [submodule "lean-mode"]
        path = lib/lean-mode
        url = git@github.com:leanprover/lean-mode.git
 [submodule "lean-mode"]
        path = lib/lean-mode
        url = git@github.com:leanprover/lean-mode.git

+[submodule "loop"]
+       path = lib/loop
+       url = git@github.com:Wilfred/loop.el.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


@@ -119,38 +165,50 @@
 [submodule "memoize"]
        path = lib/memoize
        url = git@github.com:skeeto/emacs-memoize.git
 [submodule "memoize"]
        path = lib/memoize
        url = git@github.com:skeeto/emacs-memoize.git

+[submodule "multi-term"]
+       path = lib/multi-term
+       url = git@github.com:emacsorphanage/multi-term.git

 [submodule "mwim"]
        path = lib/mwim
        url = git@github.com:alezost/mwim.el.git
 [submodule "no-littering"]
        path = lib/no-littering
        url = git@github.com:emacscollective/no-littering.git
 [submodule "mwim"]
        path = lib/mwim
        url = git@github.com:alezost/mwim.el.git
 [submodule "no-littering"]
        path = lib/no-littering
        url = git@github.com:emacscollective/no-littering.git

-[submodule "notmuch"]
-       path = lib/notmuch
-       url = https://git.notmuchmail.org/git/notmuch
-       load-path = emacs
-       info-path = doc/_build/texinfo
-       build-nix-shell-packages = pkgconfig gitMinimal xapian gmime talloc zlib pythonPackages.sphinx pythonPackages.python texinfo
-       build-step = ./configure
-       build-step = make
-       build-step = make sphinx-texinfo
-       build-step = borg-makeinfo

 [submodule "org"]
        path = lib/org
        url = git@code.orgmode.org:bzg/org-mode.git
        load-path = lisp
        info-path = doc
 [submodule "org"]
        path = lib/org
        url = git@code.orgmode.org:bzg/org-mode.git
        load-path = lisp
        info-path = doc

-       build-step = make compile autoloads info ORG_ADD_CONTRIB="org-notmuch"
+       build-step = make compile autoloads info # ORG_ADD_CONTRIB="org-notmuch"

        # setting ORG_ADD_CONTRIB results in copying of files from contrib/
        # into lisp/, which git will pick up.  so, let's ignore untracked files
        # from org's submodule; at least for now
        # setting ORG_ADD_CONTRIB results in copying of files from contrib/
        # into lisp/, which git will pick up.  so, let's ignore untracked files
        # from org's submodule; at least for now

-       ignore = untracked
+       # ignore = untracked
+[submodule "orgalist"]
+       path = lib/orgalist
+       url = git@github.com:emacsmirror/orgalist.git
+[submodule "other-frame-window"]
+       path = lib/other-frame-window
+       url = git@github.com:emacsmirror/other-frame-window.git

 [submodule "ox-hugo"]
        path = lib/ox-hugo
        url = git@github.com:kaushalmodi/ox-hugo.git
 [submodule "packed"]
        path = lib/packed
        url = git@github.com:emacscollective/packed.git
 [submodule "ox-hugo"]
        path = lib/ox-hugo
        url = git@github.com:kaushalmodi/ox-hugo.git
 [submodule "packed"]
        path = lib/packed
        url = git@github.com:emacscollective/packed.git

+[submodule "page-break-lines"]
+       path = lib/page-break-lines
+       url = git@github.com:purcell/page-break-lines.git
+[submodule "pdf-tools"]
+       path = lib/pdf-tools
+       url = git@github.com:politza/pdf-tools.git
+       build-step = make
+       build-step = borg-byte-compile
+       build-step = borg-update-autoloads
+       # pdf-tools-install creates `lisp/epdfinfo', which makes git think
+       # that the submodule is dirty. so, let's ignore the untracked
+       # files of pdf-tools' submodule
+       ignore = untracked

 [submodule "pkg-info"]
        path = lib/pkg-info
        url = git@github.com:lunaryorn/pkg-info.el.git
 [submodule "pkg-info"]
        path = lib/pkg-info
        url = git@github.com:lunaryorn/pkg-info.el.git


@@ -163,34 +221,57 @@
 [submodule "proof-site"]  # Proof General
        path = lib/proof-site
        url = git@github.com:ProofGeneral/PG.git
 [submodule "proof-site"]  # Proof General
        path = lib/proof-site
        url = git@github.com:ProofGeneral/PG.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
 [submodule "s"]
        path = lib/s
        url = git@github.com:magnars/s.el.git

-[submodule "shackle"]
-       path = lib/shackle
-       url = git@github.com:wasamasa/shackle.git
+[submodule "shell-toggle"]
+       path = lib/shell-toggle
+       url = git@github.com:knu/shell-toggle.el.git

 [submodule "shrink-path"]
        path = lib/shrink-path
        url = git@gitlab.com:bennya/shrink-path.el.git
 [submodule "shrink-path"]
        path = lib/shrink-path
        url = git@gitlab.com:bennya/shrink-path.el.git

+[submodule "shut-up"]
+       path = lib/shut-up
+       url = git@github.com:cask/shut-up.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
 [submodule "smex"]  # used by counsel-M-x
        path = lib/smex
        url = git@github.com:nonsequitur/smex.git

-[submodule "tao-theme"]
-       path = lib/tao-theme
-       url = git@github.com:11111000000/tao-theme-emacs.git
-       remote = aminb git@github.com:aminb/tao-theme-emacs.git
-[submodule "undo-tree"]
-       path = lib/undo-tree
-       url = git@github.com:emacsorphanage/undo-tree.git
+[submodule "tablist"]
+       path = lib/tablist
+       url = git@github.com:politza/tablist.git
+[submodule "treepy"]
+       path = lib/treepy
+       url = git@github.com:volrath/treepy.el.git
+[submodule "typo"]
+       path = lib/typo
+       url = git@github.com:jorgenschaefer/typoel.git
+[submodule "unkillable-scratch"]
+       path = lib/unkillable-scratch
+       url = git@github.com:EricCrosson/unkillable-scratch.git

 [submodule "use-package"]
        path = lib/use-package
        url = git@github.com:jwiegley/use-package.git
 [submodule "use-package"]
        path = lib/use-package
        url = git@github.com:jwiegley/use-package.git

+[submodule "web-mode"]
+       path = lib/web-mode
+       url = git@github.com:fxbois/web-mode.git

 [submodule "which-key"]
        path = lib/which-key
        url = git@github.com:justbur/emacs-which-key.git
 [submodule "which-key"]
        path = lib/which-key
        url = git@github.com:justbur/emacs-which-key.git

+[submodule "winum"]
+       path = lib/winum
+       url = git@github.com:deb0ch/emacs-winum.git

 [submodule "with-editor"]
        path = lib/with-editor
        url = git@github.com:magit/with-editor.git
 [submodule "yaml-mode"]
        path = lib/yaml-mode
        url = git@github.com:yoshiki/yaml-mode.git
 [submodule "with-editor"]
        path = lib/with-editor
        url = git@github.com:magit/with-editor.git
 [submodule "yaml-mode"]
        path = lib/yaml-mode
        url = git@github.com:yoshiki/yaml-mode.git

+[submodule "yasnippet"]
+       path = lib/yasnippet
+       url = git@github.com:joaotavora/yasnippet.git