Free disk space in Linux

Size of home folder

To show the size and available space of your home folder type quota -s into your terminal.
The result is displayed in columns. Look at the column "space" and the first "quota" (second number).
space = Is the used space.
quota = Is the maximum available size of your home folder.

Size of group folder

To show the size and available space of a group folder type this command into your terminal: df -h /uni-mainz.de/groups/"Faculty number"/"Name of group-folder".
Replace "Faculty number" and "Name of group-folder" with your faculty number and the name of the group folder you want to check.
E.g. /uni-mainz.de/groups/10/test, if your want to check the folder test at the biology faculty.