Mention that we cannot use homedirs for very much on the new Futhark servers

diku-dk / howto

How do I DIKU? How indeed.

21 stars 2 forks source link

Mention that we cannot use homedirs for very much on the new Futhark servers #1

Closed Munksgaard closed 3 years ago

Munksgaard commented 3 years ago

I mean... hopefully this is not necessary. But in case it is, we should put the information here.

athas commented 3 years ago

We'll need a much more expansive set of instructions for this. Users will need to symlink $HOME/.local, $HOME/.stack, $HOME/.cabal etc to various other places if they want any hope of being able to work.

Munksgaard commented 3 years ago

Yeah, it's going to be a pain...