back to listing index
Tag: shell-tricks
bash - What does hash -r command do? - Ask Ubuntu
shell - How do I join two named pipes into single input stream in linux - Server Fault