Day: April 14, 2021
-
UNIX tip of the day: pushd
I am frequently surprised by the number of colleagues I have who do not know about the BASH builtins pushd and popd. I myself remember seeing them for the first time in a script about 10 years ago, and had to look up the commands. At first I didn’t quite understand the point, but now…
Join 164 other subscribers
Archives
Category
- ►Computers (128)
- ►cooking (43)
- ►environmentalism (4)
- ►general (14)
- ►linguistics (15)
- ►mindfulness (4)
- ►photography (15)