aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorHsieh Chin Fan <typebrook@topo.tw>2023-01-26 15:14:52 +0800
committerHsieh Chin Fan <typebrook@topo.tw>2023-01-26 15:14:52 +0800
commit2c8b2b2e7ecdedf41a37cc9b924404ea9e1bff80 (patch)
tree694db2c35f6e840e55df1791281d2c5fc730a86c
parent3ff5527e5bdccfc2d8265872865968d5fc325a7a (diff)
Update
-rw-r--r--mutt/muttrc.topo1
-rw-r--r--tigrc5
2 files changed, 2 insertions, 4 deletions
diff --git a/mutt/muttrc.topo b/mutt/muttrc.topo
index d1a9106..2fb5f35 100644
--- a/mutt/muttrc.topo
+++ b/mutt/muttrc.topo
@@ -33,7 +33,6 @@ set mask="!(INBOX|mbox|Sent|Trash|Drafts|DeltaChat|hometeach|osm|arch-general|mu
33 33
34# Sidebar 34# Sidebar
35mailboxes +INBOX \ 35mailboxes +INBOX \
36 -label TRIP +trip \
37 +mbox \ 36 +mbox \
38 -label DC +DeltaChat \ 37 -label DC +DeltaChat \
39 "+---- Watch -----" \ 38 "+---- Watch -----" \
diff --git a/tigrc b/tigrc
index 0d387cc..a6d2e0a 100644
--- a/tigrc
+++ b/tigrc
@@ -137,9 +137,8 @@ bind main gs ?@git merge %(branch) --squash
137 137
138# push 138# push
139bind main p none # override default pager binding 139bind main p none # override default pager binding
140bind main pp ?git push 140bind main pp ?git push -u %(remote) %(branch):%(branch)
141bind main pP ?git push -u %(remote) %(branch):%(branch) 141bind main pr ?git push -u '%(prompt Which remote? )' %(branch):%(branch)
142bind main pr ?git push -u %(remote) %(branch):%(branch)
143bind main pc ?git push -u %(remote) %(commit):%(branch) 142bind main pc ?git push -u %(remote) %(commit):%(branch)
144bind main pR !git push -u '%(prompt Which remote? )' %(branch):'%(prompt Which branch? )' 143bind main pR !git push -u '%(prompt Which remote? )' %(branch):'%(prompt Which branch? )'
145bind main pF ?git push --force 144bind main pF ?git push --force