📓
Protocols
/
👩🏽💻
Using the CHMI Linux server
/
Common bash commands
/
group files in directory by file type (extension)
group files in directory by file type (extension)
group files in directory by file type (extension)