Timeline for removing duplicates from pushd/popd paths
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 20, 2024 at 23:19 | comment | added | Sridhar Sarnobat | I'm a zsh user who thinks bash should be good enough but when something like this comes up, I keep realizing reality is slightly different. But unlike fish shell, you really don't lose anything by migrating from bash to zsh...I THINK. | |
| Apr 13, 2017 at 12:36 | history | edited | CommunityBot |
replaced http://unix.stackexchange.com/ with https://unix.stackexchange.com/
|
|
| Jun 8, 2016 at 22:41 | comment | added | dreftymac | @Gilles: yeah, all the cool kids keep telling me to use zsh ... | |
| Jun 8, 2016 at 22:34 | comment | added | Gilles 'SO- stop being evil' |
In zsh, setopt pushd_ignore_dups makes this systematic.
|
|
| Jun 8, 2016 at 22:09 | vote | accept | dreftymac | ||
| Jun 8, 2016 at 21:16 | history | tweeted | twitter.com/StackUnix/status/740653763875201025 | ||
| Jun 8, 2016 at 20:07 | answer | added | meuh | timeline score: 3 | |
| Jun 8, 2016 at 17:12 | history | asked | dreftymac | CC BY-SA 3.0 |