-
-
Notifications
You must be signed in to change notification settings - Fork 4.4k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
popd: add page #1517
popd: add page #1517
Conversation
The build for this PR has failed with the following error(s):
Please fix the error(s) and push again. |
The build for this PR has failed with the following error(s):
Please fix the error(s) and push again. |
Sure no problem. Can you point me in the right direction on how to do it?
It's my second pull request ever so please excuse me if I've made a mistake
while adding my changes.
I also found out that I made an error with the commit message I typed the
wrong command. If you prefer you can dismiss that pull request and I'll do
it again.
2017-10-05 2:40 GMT-03:00 Agniva De Sarker <[email protected]>:
… @katekyan <https://github.com/katekyan> / @juan88
<https://github.com/juan88> - Please remove the commit for the timeout
page and do a force push again. Thanks.
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#1517 (comment)>, or mute
the thread
<https://github.com/notifications/unsubscribe-auth/AG1xiRyi-ON_xUngcJNQLLFBZ7Ga5kJrks5spGvCgaJpZM4PufVj>
.
|
So, ideally a single branch should contain commits pertaining to only that PR. In your case, you have the popd branch. This branch has now 4 commits. And we need to get rid of the last commit and push again. The following is what I would do, but there are different ways of achieving this. In your current branch, do For further assistance, @waldyrious might be able to help you out. |
That might have happened when I synced the branch with master since another
push had been done right?
I'll try to fix it today and thank you for your assistance.
2017-10-05 12:24 GMT-03:00 Agniva De Sarker <[email protected]>:
… So, ideally a single branch should contain commits pertaining to only that
PR. In your case, you have the popd branch. This branch has now 4 commits.
And we need to get rid of the last commit and push again. The following is
what I would do, but there are different ways of achieving this.
In your current branch, do git reset --hard HEAD^. This deletes the last
commit. And then do a git push -f origin popd. That should update the
remote branch with the new changes. That's it.
For further assistance, @waldyrious <https://github.com/waldyrious> might
be able to help you out.
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#1517 (comment)>, or mute
the thread
<https://github.com/notifications/unsubscribe-auth/AG1xiU_BYDjXz4Lb12fKwBybJSPiMSj_ks5spPS2gaJpZM4PufVj>
.
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think this PR is titled wrong! This looks like a good page for popd
, not pushd
lol :P
Updating PR title.
pages/common/popd.md
Outdated
@@ -0,0 +1,15 @@ | |||
# Popd |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Popd
should be all lowercase here.
pages/common/popd.md
Outdated
|
||
`popd` | ||
|
||
- Remove the Nth directory (starting from zero to the left from the list printed with dirs): |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Perhaps enclosing dirs
in backticks would aid clarity here?
pages/common/popd.md
Outdated
|
||
`popd +N` | ||
|
||
- Remove the Nth directory (starting from zero to the right from the list printed with dirs): |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Same here.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Fixed as requested.
Yeah I made a mistake with the title. Been trying to mimic pushd page got
me confused, sorry!
I'll add those backticks and the uppercase fix today.
Thanks for the clarifications!
2017-10-06 9:26 GMT-03:00 Starbeamrainbowlabs <[email protected]>:
… ***@***.**** requested changes on this pull request.
I think this PR is titled wrong! This looks like a good page for popd,
not pushd lol :P
Updating PR title.
------------------------------
In pages/common/popd.md
<#1517 (comment)>:
> @@ -0,0 +1,15 @@
+# Popd
Popd should be all lowercase here.
------------------------------
In pages/common/popd.md
<#1517 (comment)>:
> @@ -0,0 +1,15 @@
+# Popd
+
+> Remove a directory placed on the directory stack via the pushd shell built-in.
+
+- Remove the top directory from the stack and cd to it:
+
+`popd`
+
+- Remove the Nth directory (starting from zero to the left from the list printed with dirs):
Perhaps enclosing dirs in backticks would aid clarity here?
------------------------------
In pages/common/popd.md
<#1517 (comment)>:
> @@ -0,0 +1,15 @@
+# Popd
+
+> Remove a directory placed on the directory stack via the pushd shell built-in.
+
+- Remove the top directory from the stack and cd to it:
+
+`popd`
+
+- Remove the Nth directory (starting from zero to the left from the list printed with dirs):
+
+`popd +N`
+
+- Remove the Nth directory (starting from zero to the right from the list printed with dirs):
Same here.
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#1517 (review)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AG1xicOhKm5ZZYkCMPmGuL1eC58WFjAPks5sphxugaJpZM4PufVj>
.
|
@juan88 - Please check for the command in osx and windows platforms. If not, duplicate the page into their respective folders. |
@agnivade Moved the page to osx and linux since in windows the command takes less parameters and the examples are more appropiate for osx/linux. The same happens with pushd. In windows, parameters for the command are different. Should be still placed under common? Want me to open a new issue with this? https://technet.microsoft.com/en-us/library/bb490969.aspx |
Very interesting. In this case, the page should have 3 different copies across the 3 folders. Please add another page under windows, with the windows specific parameters. Thanks for looking into this. |
Do you mean common folder or should I create a new folder pages/windows for this issue? Thanks! |
Oh my bad .. I didn't realise that we don't have a windows folder at all. Yes, please create the new folder and add the page there. |
The build for this PR has failed with the following error(s):
Please fix the error(s) and push again. |
pages/linux/popd.md
Outdated
@@ -0,0 +1,15 @@ | |||
# popd | |||
|
|||
> Remove a directory placed on the directory stack via the pushd shell built-in. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
"via the pushd shell built-in" => "by the pushd
command"
To make it consistent with the windows page. And also command sounds better than shell built-in. 😆
@juan88 - Thanks for being patient with the review process. We are nearly there. Just one small thing to take care of. |
The new windows folder begins! If I end up using a windows machine in the near future and I remember, I'll look at sending a PR for a few windows-specific commands :P |
Sure! No problem! Always glad to help and learn! 👍 |
Thanks, @juan88! Thanks for sticking with it throughout the review process 😺 |
No problem! Thanks for your patience! It's nice to be able to contribute to open source projects. |
The page (if new), does not already exist in the repo.
The page (if new), has been added to the correct platform folder:
common/
if it's common to all platforms,linux/
if it's Linux-specific, and so on.The page has 8 or fewer examples.
The PR is appropriately titled:
<command name>: add page
for new pages, or<command name>: <description of changes>
for pages being editedThe page follows the contributing guidelines