📓

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)