Comments (4)
@Anomalocaridid Set disko.devices
instead of inputs.disko.devices
here:
from disko.
I did that, but I still get the same error.
Just in case it's important, here's the full error message:
error: attribute 'disko' missing
at /nix/store/jpjdaylsd0clkzr9cg4n43yg816hccca-disko/share/disko/default.nix:10:49:
9| # _file = toString input;
10| imports = lib.singleton { disko.devices = cfg.disko.devices; };
| ^
11| options = {
Did you mean disk?
(use '--show-trace' to show detailed location information)
from disko.
you need to move the config in disko-config.nix inside a disko.devices = { and then remove the disko.devices from your nixosConfiguration in your flake.nix
here is a diff:
diff --git a/disko-config.nix b/disko-config.nix
index 9b50ce5..806bca1 100644
--- a/disko-config.nix
+++ b/disko-config.nix
@@ -1,4 +1,4 @@
-{ disk, memory, ... }: {
+{ disk, memory, ... }: { disko.devices = {
disk = {
vda = {
type = "disk";
@@ -8,7 +8,6 @@
format = "gpt";
partitions = [
{
- type = "partition";
name = "ESP";
start = "1MiB";
end = "512MiB";
@@ -23,7 +22,6 @@
};
}
{
- type = "partition";
name = "luks";
start = "512MiB";
end = "100%";
@@ -47,14 +45,12 @@
# LVs are created in alphabetic order for some reason
# Prefixing them with a letter like this ensures desired creation order
a_swap = {
- type = "lvm_lv";
size = memory;
content = {
type = "swap";
};
};
z_persist = {
- type = "lvm_lv";
size = "100%FREE";
content = {
type = "btrfs";
@@ -85,4 +81,4 @@
];
};
};
-}
+};}
diff --git a/flake.nix b/flake.nix
index b3e1737..8baf1e3 100644
--- a/flake.nix
+++ b/flake.nix
@@ -27,13 +27,12 @@
inputs.disko.nixosModules.disko
inputs.home-manager.nixosModules.home-manager
inputs.impermanence.nixosModules.impermanence
+ # Disko
+ (import ./disko-config.nix {
+ disk = "/dev/vda";
+ memory = "8G";
+ })
{
- # Disko
- disko.devices = import ./disko-config.nix {
- disk = "/dev/vda";
- memory = "8G";
- };
-
# Home Manager
home-manager.useGlobalPkgs = true;
home-manager.useUserPackages = true;
from disko.
It works now! Thank you!
from disko.
Related Issues (20)
- Using disko to generate raspberry pi sd card images
- Random boot failues due to partition confusion because disko now relies on `by-partlabel` HOT 12
- ZFS Features Support: Dataset property inheritance HOT 2
- Converting an existing system to use disko? HOT 5
- GRUB Mirrored boot entries with disko HOT 2
- zpool create error: one or more vdevs refer to the same device HOT 1
- How to test luks setup with `--vm-test` HOT 5
- device already has a partition, skipping creating zpool zroot HOT 1
- Can't automount ZFS dataset without using mountpoint="legacy" HOT 3
- `disko-install` should error out immediately if it was invoked without `sudo` HOT 1
- [DOC] add demo/example config for subvolumes on btrfs on lvm on luks HOT 1
- Add docs for upgrade from legacy table to gpt HOT 5
- QUESTION: neededForBoot option HOT 2
- Random Boot failures due to failing to mount /usr/bin HOT 4
- Size range HOT 1
- encrypted swap and hibernation HOT 2
- Generate an .iso unattended install image HOT 17
- typo in the docs?
- how to to pass flake `self` using `specialArgs`? HOT 2
- disko-install: error: infinite recursion encountered HOT 13
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from disko.