diff options
author | Hsieh Chin Fan <pham@topo.tw> | 2023-02-20 16:17:06 +0800 |
---|---|---|
committer | Hsieh Chin Fan <pham@topo.tw> | 2023-02-20 16:17:06 +0800 |
commit | 781b5e38af97adc152cb70f1b06fcd2d46f56fb0 (patch) | |
tree | 95b4013dd89fa6b253d9704592a1203e72085e94 | |
parent | a958ed29728e0e5dfbd8b5b4f73d1f245d49cae5 (diff) |
Update
-rw-r--r-- | alias | 1 | ||||
-rw-r--r-- | tigrc | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -155,6 +155,7 @@ file.size() { | |||
155 | } | 155 | } |
156 | highlight() { grep --color -E "$1|\$"; } | 156 | highlight() { grep --color -E "$1|\$"; } |
157 | alias iso8601='date --iso-8601=minutes' | 157 | alias iso8601='date --iso-8601=minutes' |
158 | alias lock='sudo chattr +i' | ||
158 | 159 | ||
159 | 160 | ||
160 | # pacman | 161 | # pacman |
@@ -141,7 +141,7 @@ bind main pp ?git push | |||
141 | bind main pP ?git push -u %(remote) %(branch):%(branch) | 141 | bind main pP ?git push -u %(remote) %(branch):%(branch) |
142 | bind main pr ?git push -u %(remote) %(branch):%(branch) | 142 | bind main pr ?git push -u %(remote) %(branch):%(branch) |
143 | bind main pc ?git push -u %(remote) %(commit):%(branch) | 143 | bind main pc ?git push -u %(remote) %(commit):%(branch) |
144 | bind main pR !git push -u '%(prompt Which remote? )' %(branch):%(branch) | 144 | bind main pR ?git push -u '%(prompt Which remote? )' %(branch):%(branch) |
145 | bind main pF ?git push --force | 145 | bind main pF ?git push --force |
146 | bind main pd ?git push %(remote) :%(branch) | 146 | bind main pd ?git push %(remote) :%(branch) |
147 | bind generic pD ?git push '%(prompt Delete from which remote? )' :'%(prompt Which reference? )' | 147 | bind generic pD ?git push '%(prompt Delete from which remote? )' :'%(prompt Which reference? )' |