bash and other scripts/hacks

• grep-file: Tricks to extract parts from a big file. It contains mostly find commands.
• retrieve-file-content: Tricks to retrieve specific parts from a file using tools like grep, awk, etc., without changing the content of the file.
• git command and collaborative management of repositories, check protocol of DAIS lab.