Skip to main content
8 events
when toggle format what by license comment
Apr 26, 2023 at 2:35 vote accept Kristian
Dec 8, 2022 at 19:10 history edited Jim L.
This question is Linux-specific
Dec 8, 2022 at 15:38 answer added Stephen Kitt timeline score: 8
Dec 8, 2022 at 15:30 comment added Bob Goddard What will you do when egrep is completely removed?
Dec 8, 2022 at 6:49 comment added Chris Davies Use echo 'grep -E "$@"' > /usr/bin/egrep, ie double quote the $@
Dec 8, 2022 at 4:58 comment added cas or, better yet, you could modify your scripts that use the obsolete egrep so that they use grep -E instead. egrep has been deprecated for decades now, that's more than enough time to stop using it.
Dec 8, 2022 at 3:54 comment added Kristian after a quick search, I realized that I can just make alias egrep="grep -E" in .bashrc since alias is prioritized over $PATH from unix.stackexchange.com/a/132628/477417
Dec 8, 2022 at 3:50 history asked Kristian CC BY-SA 4.0