|
|
3f10516b6f
|
Add kitty terminfo
|
2022-08-15 00:20:07 +02:00 |
|
|
|
f7b6fdf07a
|
Fix remote builder ip address
|
2022-08-15 00:00:55 +02:00 |
|
|
|
a5f3e05889
|
Formatting
|
2022-08-14 22:27:28 +02:00 |
|
|
|
5170bdff65
|
Cleanups
|
2022-08-14 22:27:15 +02:00 |
|
|
|
ac0b6ef15b
|
Update networking interface
|
2022-08-14 22:25:34 +02:00 |
|
|
|
82ccb56fe5
|
remove hackens keys from core-services and remote-builder
|
2021-11-05 23:59:59 +00:00 |
|
Raito Bezarius
|
2a33516e54
|
deploy: add remote-builder-01 and my remote builder SSH key
|
2021-07-29 00:08:48 +02:00 |
|
|
|
dee54e706d
|
Add remote-builder-01 (#2)
Initial configuration of remote-builder-01.
Co-authored-by: Gabriel DORIATH DOHLER <gabriel.doriath.dohler@ens.psl.eu>
Reviewed-on: https://git.rz.ens.wtf/Klub-RZ/infrastructure/pulls/2
Co-authored-by: gdd <gabriel.doriath.dohler@ens.fr>
Co-committed-by: gdd <gabriel.doriath.dohler@ens.fr>
|
2021-07-28 23:55:34 +02:00 |
|
