Bash tutorial

Bash (Bourne Again Shell) is a shell commonly used on GNU-Linux systems for multiple purposes. Knowing about bash is an enjoyable experience and a great opportunity to learn about computers, files, directories and programs.

Basics

• Describing hardware
• Knowing about variables
• Using dictionaries and translation tools
• Listing process
• Move or rename files
• What exactly are input, output and standard error?

Manuals, documentation

• Reading the fabulous manuals!

Users

• How to add users
• Changing file permissions: 'chmod'

File manipulation

• Display files: 'less', 'head' and 'tail' commands
• Learning about files and directories
• Searching for files in the system
• Using dd command to flash usb
• Compress a pdf file
• Searching and editing configuration files

File conversion

• Convert office files to pdf
• Convert markup text to multiple formats using 'pandoc'
• Convert pdf to text or html using 'poppler'
• Convert videos

Scripting

• Using 'rmlint' to clean your hard disk
• How to run bash scripts
• How to run R-scripts

File transfer

• Using 'croc' to tranfer files between machines
• A really nice feature: streaming from terminal!
• Download from terminal: wget curl, pandoc

Text edition

• Using 'sed' editor to substitute text

Gwak

• GNU-awk program: a nice tool!