API tools faq
paste
Advertisement
mason1920

IMPORT FORMATTING

mason1920
Jan 12th, 2023 (edited)
2,004
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Scheme 2.26 KB | Source Code | 0 0
raw download clone embed print report
  1. ; OPTION 0
  2.  
  3.   (#!=======!# (GUIX GEXP) #!=========================!#
  4.   ((                 )  LOCAL-FILE                    ;
  5. #!((                !#  PLAIN-FILE                    ))
  6.   (#!========!# (GNU SYSTEM) #!=======================!#
  7.   ((          UUID   )  UUID                          )
  8.   ((      KEYBOARD   )  KEYBOARD-LAYOUT               )
  9.   ((  FILE-SYSTEMS   )  %BASE-FILE-SYSTEMS            ;
  10. #!((                !#  FILE-SYSTEM                   ;
  11. #!((                !#  SWAP-SPACE                    ))
  12.   (#!========!# (GNU BOOTLOADER) #!===================!#
  13.   ((                 )  BOOTLOADER-CONFIGURATION      )
  14.   ((          GRUB   )  GRUB-EFI-BOOTLOADER           ))
  15.  
  16. ; OPTION 1
  17.  
  18.            ((GUIX GEXP)
  19.  
  20.               (() LOCAL-FILE
  21.                   PLAIN-FILE))
  22.  
  23.             ((GNU SYSTEM)
  24.  
  25.           ((UUID) UUID)
  26.       ((KEYBOARD) KEYBOARD-LAYOUT)
  27.   ((FILE-SYSTEMS) %BASE-FILE-SYSTEMS
  28.                   FILE-SYSTEM
  29.                   SWAP-SPACE))
  30.  
  31.             ((GNU BOOTLOADER)
  32.  
  33.               (() BOOTLOADER-CONFIGURATION)
  34.           ((GRUB) GRUB-EFI-BOOTLOADER))
  35.  
  36. ; OPTION 2
  37.  
  38.            ((GUIX GEXP)
  39. (()               LOCAL-FILE
  40.                   PLAIN-FILE))
  41.  
  42.             ((GNU SYSTEM)
  43. ((UUID)           UUID)
  44. ((KEYBOARD)       KEYBOARD-LAYOUT)
  45. ((FILE-SYSTEMS)   %BASE-FILE-SYSTEMS
  46.                   FILE-SYSTEM
  47.                   SWAP-SPACE))
  48.  
  49.             ((GNU BOOTLOADER)
  50. (()               BOOTLOADER-CONFIGURATION)
  51. ((GRUB)           GRUB-EFI-BOOTLOADER))
  52.  
  53. ; OPTION 3
  54.  
  55. ((GUIX GEXP)
  56.   (()               LOCAL-FILE
  57.                     PLAIN-FILE))
  58. ((GNU SYSTEM)
  59.   ((UUID)           UUID)
  60.   ((KEYBOARD)       KEYBOARD-LAYOUT)
  61.   ((FILE-SYSTEMS)   %BASE-FILE-SYSTEMS
  62.                     FILE-SYSTEM
  63.                     SWAP-SPACE))
  64. ((GNU BOOTLOADER)
  65.   (()               BOOTLOADER-CONFIGURATION)
  66.   ((GRUB)           GRUB-EFI-BOOTLOADER))
  67.  
  68. ; OPTION 4
  69.  
  70. ((GUIX GEXP)
  71.                 (() LOCAL-FILE
  72.                     PLAIN-FILE))
  73. ((GNU SYSTEM)
  74.             ((UUID) UUID)
  75.         ((KEYBOARD) KEYBOARD-LAYOUT)
  76.     ((FILE-SYSTEMS) %BASE-FILE-SYSTEMS
  77.                     FILE-SYSTEM
  78.                     SWAP-SPACE))
  79. ((GNU BOOTLOADER)
  80.                 (() BOOTLOADER-CONFIGURATION)
  81.             ((GRUB) GRUB-EFI-BOOTLOADER))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!