ref: bcc42916932abfaa9a832c721e8aec394fbea695
parent: abb40d07ea989f78c521e08378db9707d76c8c0f
author: Ori Bernstein <ori@eigenstate.org>
date: Sat Apr 18 00:31:39 EDT 2020
Add git/rm for convenience. It's the same as git/add -r, but easier to remember and closer to muscle memory.
--- a/git.1
+++ b/git.1
@@ -1,7 +1,7 @@
.TH GIT 1
.SH NAME
git, git/conf, git/query, git/walk, git/clone, git/branch,
-git/commit, git/diff, git/init, git/log, git/merge, git/push, git/pull
+git/commit, git/diff, git/init, git/log, git/merge, git/push, git/pull, git/rm
\- Manage git repositories.
.SH SYNOPSIS
@@ -11,6 +11,8 @@
.B -r
]
.I path...
+.B git/rm
+.I path...
.PP
.B git/branch
[
@@ -267,6 +269,10 @@
.I -r
flag, the file is removed from the list of tracked files.
The copy of the file in the repository is left untouched.
+.PP
+.B Git/rm
+is an alias for
+.I git/add.
.PP
.B Git/commit
--- a/mkfile
+++ b/mkfile
@@ -23,7 +23,8 @@
merge\
pull\
push\
- revert
+ revert\
+ rm
OFILES=\
objset.$O\
--- /dev/null
+++ b/rm
@@ -1,0 +1,3 @@
+#!/bin/rc -e
+
+git/add -r $*