#linux
4 posts tagged Linux
Jul 2023
tar (child) xz Cannot exec No such file or directory
1 min read·
Jun 2023
Change files extension in a directory
Use Bash for loop, variable substitution, and mv to change the name of files in a directory modifying just the extension of the file
1 min read·
Jun 2023
Searching for a pattern in the man pages
1 min read·
Jun 2023
Know the man(nual) pages
1 min read·