Posts tagged with "shell":

• Use = as a shortcut for which in zsh (1 Nov 2022)
• Use $LINENO to get the current line number in a bash script (27 Aug 2019)
• Nest wildcards when matching file names (7 Sep 2018)
• Match all files except specific ones in zsh (31 Aug 2018)
• See the commands to be run by make (16 Mar 2018)
• Navigate in the zsh directory stack (6 Feb 2017)
• Touching files without touch (9 Jan 2017)
• Sort "human-readable" sizes in bash (16 Aug 2016)
• Generate an UUID in bash (12 Feb 2016)
• Catching signals in bash (12 Feb 2016)