;;; SPDX-License-Identifier: GPL-3.0-or-later
;;; SPDX-FileCopyrightText: 2026 Marek Paśnikowski <marek@marekpasnikowski.pl>

;;; COPYRIGHT NOTICE
;;;
;;; Copyright 2026, Marek Paśnikowski <marek@marekpasnikowski.pl>

;;; LICENSE NOTICE
;;;
;;; This library is free software: you can redistribute it and/or modify it under the terms of
;;; the GNU General Public License as published by the Free Software Foundation,
;;; either version 3 of the License, or (at your option) any later version.
;;;
;;; This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
;;; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
;;; See the GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License along with this library.
;;; If not, see <https://www.gnu.org/licenses/>.

(define-module (deployment machine ssh)
  #:use-module ((deployment system aisaka)
                #:prefix deployment:system:aisaka:)
  #:use-module ((deployment system akashi)
                #:prefix deployment:system:akashi:)
  #:use-module ((gnu machine ssh)
                #:prefix gnu:machine:ssh:))

(define open-machine-ssh-session*
  (@@ (gnu machine ssh)
      open-machine-ssh-session*))

(define-public aisaka-configuration
  (gnu:machine:ssh:machine-ssh-configuration
   (host-name         deployment:system:aisaka:system-name)
   (system            deployment:system:aisaka:architecture)
   (build-locally?    #t)
   (authorize?        #t)
   (allow-downgrades? #f)
   (safety-checks?    #t)
   (port              22)
   (user              "marek")
   (identity          "./id_ed25519")
   (session           (open-machine-ssh-session* (@@ (gnu machine ssh)
                                                     this-machine-ssh-configuration)))
   (host-key          "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIM0Eh0q54myeSEironEP9DEKl+ownYuH7oSgAVuLIDNt marek@aisaka")))

(define-public akashi-configuration
  (gnu:machine:ssh:machine-ssh-configuration
   (host-name         deployment:system:akashi:system-name)
   (system            deployment:system:akashi:architecture)
   (build-locally?    #t)
   (authorize?        #t)
   (allow-downgrades? #f)
   (safety-checks?    #t)
   (port              22)
   (user              "marek")
   (identity          "./id_ed25519")
   (session           (open-machine-ssh-session* (@@ (gnu machine ssh)
                                                     this-machine-ssh-configuration)))
   (host-key          "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICtEYtiph2TwshHHSQhLL7A2ZvFMCogWuI8vfS3jLQsm marek@akashi")))