Hi there!
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):

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


There is no unused space.
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 partition gets completely filled up:

svnrdump: E000028: Can't write to file '/tmp/svn-RWs0Ds': No space left on device

What should I do?

the first question is: how much space do you really need?
I don't know this svnrdump, but probably it will honor the variable TMP or TMPDIR and you can specify another location.
next, you can (temporarily) remove (umount) /tmp and use /tmp as part of the root filesystem
You may try to shrink /home and add that space to /tmp too.

1 members found this post helpful.

Thanks for your answer.

Hard to say about /tmp... I heard that it should be approximately half of the RAM.
Anyway I followed the guided partition configuration and assumed it was OK for what I had to do...
By the way, which criteria do you advise me to properly size it?

I will try out what you suggested.

i think you are confusing this with swap.

in any case, the application filling the /tmp likely has a config setting where you can specify a different tmp directory; one that won't fill up too quickly.
tried that?

generally speaking, this meticulous partitioning is somewhat outdated.
it can be good, but it also can make things harder.

Oh yes, probably you mixed swap and tmp. But anyway without knowing any details about the usage of your server nobody can suggest you anything. For example I have no any idea if swap was required at all. If you need a home dir for something. Or if you have a database. Or .....

My source was here.

My source was here, but maybe I interpreted wrongly.

It is primarily a SVN server, but in the future I will use it also as a git server.

frudak, you failed to address the most important bit:
i'm guessing it's svn and i'm pretty sure it can be configgerd to use a different tmp dir.

ondoho, you failed to read what pan64 and I wrote before your posts in this thread.
Please post only if you have something new to say (and let me try before answering).

Temporarily unmounting /tmp solved the issue. However, IMHO it is worth to consider moving to LVMs for more flexibility.
Thank you for the help!