horscht asked: I have realized that I have a discrepancy of 10GB on a 200GB partition between the available disk space and the free disk space.
In this case gnome system monitor says that I have 100GB free disk space and 88GB are available.
What does that mean? Why are these values so different?