Yep. Got it. Thanks Marco On Wed, Jul 9, 2025 at 4:50 PM David Cooper <david.cooper@genworks.com> wrote:
Hi Marco,
The official hostname is still `future.common-lisp.net` but this is now the same machine as common-lisp.net.
Only a few of the subdomains and related domains (cliki, abcl) are still running on the old host. As well as mailing lists such as the one we are using for this email thread. The old host can be reached at legacy.common-lisp.net.
Dave Cooper
---- On Wed, 09 Jul 2025 16:42:12 -0400 *Marco Antoniotti <marco.antoniotti@unimib.it <marco.antoniotti@unimib.it>>* wrote ---
Hi
now I can login. It takes me to 'future.common-lisp.net.
I guess that is fine.
Thanks
All the best
Marco
On Wed, Jul 9, 2025 at 4:37 PM Jon Boone <ipmonger@delamancha.org> wrote:
-- Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY
REGAINS: https://regains.disco.unimib.it/
Ok, try now, please.
—jon
On Wed, Jul 9, 2025 at 4:15 PM Marco Antoniotti < marco.antoniotti@unimib.it> wrote:
For remote shell.
I think I can upload the key to Gitlab myself.
Marco
On Wed, Jul 9, 2025 at 3:33 PM Jon Boone <ipmonger@delamancha.org> wrote:
Is this for remote shell or Gitlab ssh-based connections?
— jb On Jul 9, 2025 at 15:21 -0400, Marco Antoniotti < marco.antoniotti@unimib.it>, wrote:
Hi guys...
I finally got around to generating a new public key, which I attached below.
I know I will do something wrong. Please bear with me.
Question. Should have I just used ssh-copy-id?
All the best
Marco
--
Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY
REGAINS: https://regains.disco.unimib.it/
-- Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY
REGAINS: https://regains.disco.unimib.it/
-- Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY REGAINS: https://regains.disco.unimib.it/
Awesome! And, you are correct that you can update the GitLab SSH key yourself. :-) Have a great travel! —jon On Wed, Jul 9, 2025 at 4:51 PM Marco Antoniotti <marco.antoniotti@unimib.it> wrote:
Yep.
Got it. Thanks
Marco
On Wed, Jul 9, 2025 at 4:50 PM David Cooper <david.cooper@genworks.com> wrote:
Hi Marco,
The official hostname is still `future.common-lisp.net` but this is now the same machine as common-lisp.net.
Only a few of the subdomains and related domains (cliki, abcl) are still running on the old host. As well as mailing lists such as the one we are using for this email thread. The old host can be reached at legacy.common-lisp.net.
Dave Cooper
---- On Wed, 09 Jul 2025 16:42:12 -0400 *Marco Antoniotti <marco.antoniotti@unimib.it <marco.antoniotti@unimib.it>>* wrote ---
Hi
now I can login. It takes me to 'future.common-lisp.net.
I guess that is fine.
Thanks
All the best
Marco
On Wed, Jul 9, 2025 at 4:37 PM Jon Boone <ipmonger@delamancha.org> wrote:
-- Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY
REGAINS: https://regains.disco.unimib.it/
Ok, try now, please.
—jon
On Wed, Jul 9, 2025 at 4:15 PM Marco Antoniotti < marco.antoniotti@unimib.it> wrote:
For remote shell.
I think I can upload the key to Gitlab myself.
Marco
On Wed, Jul 9, 2025 at 3:33 PM Jon Boone <ipmonger@delamancha.org> wrote:
Is this for remote shell or Gitlab ssh-based connections?
— jb On Jul 9, 2025 at 15:21 -0400, Marco Antoniotti < marco.antoniotti@unimib.it>, wrote:
Hi guys...
I finally got around to generating a new public key, which I attached below.
I know I will do something wrong. Please bear with me.
Question. Should have I just used ssh-copy-id?
All the best
Marco
--
Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY
REGAINS: https://regains.disco.unimib.it/
-- Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY
REGAINS: https://regains.disco.unimib.it/
-- Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY
REGAINS: https://regains.disco.unimib.it/
participants (2)
-
Jon Boone -
Marco Antoniotti