GNU/Linux operating system
GNU is a Unix-like operating system. For me, GNU/Linux operating system provides a stable, flexible, and highly customizable working platform. The specific GNU/Linux distributions I use are Debian and Ubuntu
Unix users spend a lot of time at the command line.
The command line (often called the console, the shell or the terminal) looks something like this:
$
When you type in a command like ls, it will
give you feedback:
$ ls
Documents README.txt
$
In this case, the ls command listed
the files in the current directory.
$ history | cut -c8- | sort | uniq -c | sort -rn | head
997 ls
887 gnuplot
872 make run
581 make
540 make clean
297 cd -
291 make to_cori
287 ./p.sh
234 cd ..
144 cd $gemetg
$