Linux disc space using the df command