This is necessary for now, since we need to deploy old web-apps etc. on new Ubuntu servers.
NB This is a work in progress, so probably best not to merge at this point. But I'm interested in reviews and (esp.) comments where I might have misunderstood the intent of some actions, or failed to consider the consequences of different deployment scenarios. Thanks!
Hm, it looks like I accidentally picked up an unrelated commit b9a97a5c7fbee3a50550c187307d9a75c39a9ab3 This should probably be merged, but apologies for the clutter here.
This is necessary for now, since we need to deploy old web-apps etc. on new Ubuntu servers.
NB This is a work in progress, so probably best not to merge at this point. But I'm interested in reviews and (esp.) comments where I might have misunderstood the intent of some actions, or failed to consider the consequences of different deployment scenarios. Thanks!