I would need some help with respect to a problem that I don't know how to address.
I'm running Debian 9 on a virtual server (RAM: 4GB, hard disk space: 850GB).
I chose the default installation settings provided by the Graphic Installer, especially as regards partitions, where I selected
Partitioning scheme: guided, “Separate /home, /var, and /tmp partitions”
For my server applications, however, I figured out that a /srv partition for "server data hosted by the system" (as man hier says) would be a good thing.
So I ended up with the following partitions (using resize2fs and fdisk and modifying /etc/fstab):
There is no unused space.Device Boot Start End Sectors Size Id Type
/dev/sda1 * 2048 48828415 48826368 23.3G 83 Linux <--- /
/dev/sda2 48830462 1782577151 1733746690 826.7G 5 Extended
/dev/sda5 48830464 68360191 19529728 9.3G 83 Linux
/dev/sda6 68362240 85135359 16773120 8G 82 Linux swap / Solaris
/dev/sda7 85137408 89040895 3903488 1.9G 83 Linux <--- /tmp
/dev/sda8 89042944 130985983 41943040 20G 83 Linux <--- /home
/dev/sda9 130988032 1782577151 1651589120 787.6G 83 Linux <--- /srv
Now I am trying to migrate an SVN repository with
svnrdump dump --username my_user_name -r revisions SVN_url > dump_file
but it fails at downloading a certain revision because the /tmp partitions gets completely filled up.
What should I do?