Which folders on file system are counted in the disk space quota?


#1

user’s home of course,
but which other ones?
because I see ~250 Mb used in my workspace however I see that 1.3Gb is in use


#2

Any files that you create (or modify) count against your quota. For example, running ‘apt-get upgrade’ will use an enormous amount of storage, because it creates and modifies many files.


#3

I don’t use GCC4.8 or cmake 2.8
I’ve removed them and install latest version
however looks like quota calculated NOT as initial quota - uninstalled apps + new installed apps

is it so, or not?


#4

Used disk space is anything that is different from when the workspace is first created. Therefore, any files you change, update, or add will count against you. This is done because of the way workspaces are provisioned with a Docker base image.


#5

any chance to update to latest (or more modern) versions in close future?
I mean a system and dev utilities as well as ubuntu itself

by the way:
7.0M /bin
4.0K /boot
8.0K /data
0 /dev
7.5M /etc
390M /home
30M /lib
4.0K /lib64
16K /lost+found
4.0K /media
412M /mnt
1.3G /nix
322M /opt
du: cannot access ‘/proc/2077/task/2077/fd/4’: No such file or directory
du: cannot access ‘/proc/2077/task/2077/fdinfo/4’: No such file or directory
du: cannot access ‘/proc/2077/fd/4’: No such file or directory
du: cannot access ‘/proc/2077/fdinfo/4’: No such file or directory
0 /proc
32K /root
80K /run
7.0M /sbin
4.0K /srv
0 /sys
8.0K /tmp
1.7G /usr
206M /var

how can I understand which folder’s cleanup will affect a quota?