[Pkg-r-builders] Hello, world

[Gábor Csárdi]

You can log in now:

ssh <username>@13.93.146.154

and then

sudo -s

I cannot test the login part, but it should work. Let me know if not.

What do we want for hostname? The machine is currently called
debbuilder, but there is no DNS entry.

G.

On Tue, Apr 25, 2017 at 1:36 PM, Dirk Eddelbuettel <edd at debian.org> wrote:
>
> Second mail:
>
> On 23 April 2017 at 07:31, Dirk Eddelbuettel wrote:
> |
> | Quick status ping:
> |  - Where are we at?
> |  - Do we have a machine?  If so, GREAT, and where is it?
> |  - If not, what can we do to get there?
>
> Gabor, how can we help?
>
> Dirk
>
> | Dirk
> |
> | --
> | http://dirk.eddelbuettel.com | @eddelbuettel | edd at debian.org
>
> --
> http://dirk.eddelbuettel.com | @eddelbuettel | edd at debian.org