From a1e39bf4fdf8fde4e87a1c630300942157f529a6 Mon Sep 17 00:00:00 2001 From: Lance Goyke Date: Sun, 19 Nov 2023 14:04:08 -0600 Subject: [PATCH] Add inline tabs on Git Bootcamp page for commands on different systems (#1225) * Add inline tabs on Git Bootcamp page for commands on different systems * add getOS() script * combine Unix/macOS tabs --- getting-started/git-boot-camp.rst | 23 +++++++++++++++++------ 1 file changed, 17 insertions(+), 6 deletions(-) diff --git a/getting-started/git-boot-camp.rst b/getting-started/git-boot-camp.rst index 9b8981eb5c..c38857e578 100644 --- a/getting-started/git-boot-camp.rst +++ b/getting-started/git-boot-camp.rst @@ -4,6 +4,14 @@ Git bootcamp and cheat sheet ============================ +.. raw:: html + + + .. highlight:: console .. note:: @@ -439,16 +447,19 @@ Both of these tools will configure a remote URL for the branch, so you can ``git push`` if the pull request author checked "Allow edits from maintainers" when creating the pull request. -If you don't have GitHub CLI or hub installed, you can set up a git alias. On -Unix and macOS:: +If you don't have GitHub CLI or hub installed, you can set up a git alias: - $ git config --global alias.pr '!sh -c "git fetch upstream pull/${1}/head:pr_${1} && git checkout pr_${1}" -' +.. tab:: Unix/macOS -On Windows, reverse the single (``'``) and double (``"``) quotes: + .. code-block:: shell -.. code-block:: bash + $ git config --global alias.pr '!sh -c "git fetch upstream pull/${1}/head:pr_${1} && git checkout pr_${1}" -' + +.. tab:: Windows + + .. code-block:: dosbatch - git config --global alias.pr "!sh -c 'git fetch upstream pull/${1}/head:pr_${1} && git checkout pr_${1}' -" + git config --global alias.pr "!sh -c 'git fetch upstream pull/${1}/head:pr_${1} && git checkout pr_${1}' -" The alias only needs to be done once. After the alias is set up, you can get a local copy of a pull request as follows::