Excellent, thank you!
Dave
On 30.09.2016, at 14:16, David T. Lewis lewis@mail.msen.com wrote:
When I originally set up squeaksource.com on box3, I put it in a normal user account (ssdotcom with UID 1008). That is not good practice, in part because 1008 might end up being the UID for some user account on another box. (This actually happened in the box2 migration to box3, so the source.squeak.org files now accidentally appear to be owned by "davidlewis" rather than whatever ID they originally had on box2.)
Here's the known-users-list:
Known users UID ssh 100000 squeaksourcecom 100001 sourcesqueakorg 100002 squeakwiki 100003 squeakmap 100004 jenkins 100005
Of these, ssh, squeaksourcecom, sourcesqueakorg and jenkins have already been created on their respective servers.
Best regards -Tobias