SimpleHTTPServer

python3 -m http.server 8080

1. go to the relevant directory in your terminal and type this command
2. type ip and find the 192.168. etc.
3. go to the other computer and type into the browser: 192.168.x.x:8080

gunzip all files recursively in a target directory?

For zip-files:
find <path_of_your_zips> -type f -name "*.zip" -exec unzip {} -d <out> \;

https://askubuntu.com/questions/620571/how-do-i-gunzip-all-files-recursively-in-a-target-directory

Gdebi of deb files

 Use:

gdebi-gtk

Screen dimensions

 xrandr | grep '*'

Sleep command and timer

  sleep 10m | pv -t && vlc [song]
  
  Wanneer je een ei wilt koken.                                      

How to view fonts on your system

Use the command fc-list and then grep to find the particular font you want

fc-list | grep liberation

Concatenation of multiple files in the right order

 Is there any way to concatenate multiple text files in numerical order of the file names with one bash command?
A problem arises when you go past the number 9. If you give the ls command, you will get:
file10
file11
file12
file1
file2
file3
file4
file5
file6
file7
file8
file9
So, if you want to cocatenate in order, it won't be done correctly.
What is needed is the sort command, like this:
ls | sort -V | xargs cat *.txt

https://stackoverflow.com/questions/35126745/erge-text-files-ordered-by-numerical-filenames-in-bash