X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/configs/blobdiff_plain/ef8a092b801adabcae91dfb13bd7e1ee150bac1e..9cebbd53fc6188d6640bc895261b2a68ccafce45:/.gitmodules?ds=inline

diff --git a/.gitmodules b/.gitmodules
index db55daa..38f657d 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -10,33 +10,28 @@
 [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 "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
 [submodule "boxquote"]
 	path = lib/boxquote
 	url = git@github.com:davep/boxquote.el.git
-[submodule "circe"]
-	path = lib/circe
-	url = git@github.com:jorgenschaefer/circe.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
@@ -51,22 +46,15 @@
 	# that the submodule is dirty. so, let's ignore the untracked
 	# files of dash's submodule
 	ignore = untracked
-[submodule "deferred"]
-	path = lib/deferred
-	url = git@github.com:kiwanami/emacs-deferred.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 "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 "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
@@ -80,15 +68,15 @@
 [submodule "emmet-mode"]
 	path = lib/emmet-mode
 	url = git@github.com:smihica/emmet-mode.git
-[submodule "emojify"]
-	path = lib/emojify
-	url = git@github.com:iqbalansari/emacs-emojify.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
@@ -119,9 +107,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
@@ -135,15 +123,6 @@
 	path = lib/ivy
 	url = git@github.com:abo-abo/swiper.git
 	info-path = doc
-[submodule "json-mode"]
-	path = lib/json-mode
-	url = git@github.com:joshwnj/json-mode.git
-[submodule "json-reformat"]
-	path = lib/json-reformat
-	url = git@github.com:gongo/json-reformat.git
-[submodule "json-snatcher"]
-	path = lib/json-snatcher
-	url = git@github.com:Sterlingg/json-snatcher.git
 [submodule "lcr"]
 	path = lib/lcr
 	url = git@github.com:jyp/lcr.git
@@ -167,35 +146,15 @@
 [submodule "memoize"]
 	path = lib/memoize
 	url = git@github.com:skeeto/emacs-memoize.git
-[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
-	ignore = untracked
+[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 "nix-mode"]
-	path = lib/nix-mode
-	url = git@github.com:NixOS/nix-mode.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 --without-docs
-	# build-step = make
-	# build-step = make sphinx-texinfo
-	# build-step = borg-makeinfo
-[submodule "oauth2"]
-	path = lib/oauth2
-	url = git@github.com:emacsmirror/oauth2.git
 [submodule "org"]
 	path = lib/org
 	url = git@code.orgmode.org:bzg/org-mode.git
@@ -218,6 +177,9 @@
 [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
@@ -240,24 +202,24 @@
 [submodule "proof-site"]  # Proof General
 	path = lib/proof-site
 	url = git@github.com:ProofGeneral/PG.git
-[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
-[submodule "shell-pop"]
-	path = lib/shell-pop
-	url = git@github.com:kyagi/shell-pop-el.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 "shut-up"]
 	path = lib/shut-up
 	url = git@github.com:cask/shut-up.git
-[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
@@ -270,9 +232,6 @@
 [submodule "typo"]
 	path = lib/typo
 	url = git@github.com:jorgenschaefer/typoel.git
-[submodule "undo-tree"]
-	path = lib/undo-tree
-	url = git@github.com:emacsorphanage/undo-tree.git
 [submodule "unkillable-scratch"]
 	path = lib/unkillable-scratch
 	url = git@github.com:EricCrosson/unkillable-scratch.git
@@ -282,9 +241,6 @@
 [submodule "web-mode"]
 	path = lib/web-mode
 	url = git@github.com:fxbois/web-mode.git
-[submodule "websocket"]
-	path = lib/websocket
-	url = git@github.com:ahyatt/emacs-websocket.git
 [submodule "which-key"]
 	path = lib/which-key
 	url = git@github.com:justbur/emacs-which-key.git