I deleted many large files but this do not increase the amount of free space (i use "df"-command). Is there a command for "refreshing" the free disk space?