diff options
| author | Marek Paśnikowski <marek@marekpasnikowski.pl> | 2026-05-29 11:41:02 +0200 |
|---|---|---|
| committer | Marek Paśnikowski <marek@marekpasnikowski.pl> | 2026-05-29 11:52:52 +0200 |
| commit | 60bb62af4e2f75d5ba9b9974409d7b499d6b1d4b (patch) | |
| tree | 7a69c6bee6f9e2476dea44ed7fc2da866d816a5d /machines/inspiron.scm | |
| parent | fc8691e6c9ff23557fad7bac95a7226d68e3eff7 (diff) | |
(machines): remove dead modules
Diffstat (limited to 'machines/inspiron.scm')
| -rw-r--r-- | machines/inspiron.scm | 86 |
1 files changed, 0 insertions, 86 deletions
diff --git a/machines/inspiron.scm b/machines/inspiron.scm deleted file mode 100644 index e65264c..0000000 --- a/machines/inspiron.scm +++ /dev/null @@ -1,86 +0,0 @@ -;;; 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 (machines inspiron) - ;; bootloader-configuration - #:use-module (gnu bootloader) - - ;; grub-bootloader - #:use-module (gnu bootloader grub) - - ;; file-system - ;; swap-space - #:use-module (gnu system file-systems) - - ;; linux - ;; linux-firmware - #:use-module (nongnu packages linux) - - ;; microcode-initrd - #:use-module (nongnu system linux-initrd)) - -;; bootloader-configuration -(define-public (bootloader-configuration* keyboard-layout*) - (let ((bootloader* grub-bootloader) - (bootloader-targets (list "/dev/sda")) ; TODO: generalize the target - ) - (bootloader-configuration (bootloader bootloader*) - (targets bootloader-targets) - (keyboard-layout keyboard-layout*)))) - -;; string -> -;; (list record* file-system) -(define-public (file-systems* host-name*) - (let* ((root-device-string (string-append host-name* "-root")) - - (root-device (file-system-label root-device-string)) - - (file-system-root (file-system (type "ext4") - (mount-point "/") - (device root-device)))) - (list file-system-root))) - -;; (list record* package) -(define-public firmware* - (list linux-firmware)) - -;; (list string) -(define-public hardware-groups - (list "audio" - "netdev" - "video")) - -;; record* package -(define-public initrd* - microcode-initrd) - -;; record* package -(define-public kernel* - linux) - -;; string -> -;; (list record* swap-space) -(define-public (swap-devices* host-name*) - (let* ((label* (string-append host-name* "-swap")) - - (target* (file-system-label label*)) - - (swap-space* (swap-space (target target*)))) - (list swap-space*))) |
