From b3c2c81d07d7870d3f5334189203a9355c173449 Mon Sep 17 00:00:00 2001 From: Debasis Mandal Date: Tue, 13 Oct 2020 02:34:01 +0530 Subject: [PATCH] git-replace, w: add pages (#4496) --- pages/common/git-replace.md | 16 ++++++++++++++++ pages/linux/w.md | 20 ++++++++++++++++++++ 2 files changed, 36 insertions(+) create mode 100644 pages/common/git-replace.md create mode 100644 pages/linux/w.md diff --git a/pages/common/git-replace.md b/pages/common/git-replace.md new file mode 100644 index 0000000000..34749127e6 --- /dev/null +++ b/pages/common/git-replace.md @@ -0,0 +1,16 @@ +# git replace + +> Create, list, and delete refs to replace objects. +> More information: . + +- Replace any commit with a different one, leaving other commits unchanged: + +`git replace {{object}} {{replacement}}` + +- Delete existing replace refs for the given objects: + +`git replace --delete {{object}}` + +- Edit an object’s content interactively: + +`git replace --edit {{object}}` diff --git a/pages/linux/w.md b/pages/linux/w.md new file mode 100644 index 0000000000..7abbb0a141 --- /dev/null +++ b/pages/linux/w.md @@ -0,0 +1,20 @@ +# w + +> Display who is logged in and their processes. +> More information: . + +- Display information about all users who are currently logged in: + +`w` + +- Display information about a specific user: + +`w {{user}}` + +- Display information without including the header: + +`w --no-header` + +- Display information without including the login, JCPU and PCPU columns: + +`w --short`