Dual Booting NixOS and Windows: Difference between revisions

(2 intermediate revisions by 2 users not shown)

Line 1:

This section explains various methods to have the bootloader prompt whether to boot windows or NixOS.

This section explains various methods to have the [[bootloader]] prompt whether to boot windows or NixOS.

== Autodetection ==

Line 84:

* the <code>boot.loader.systemd-boot.enable = true;</code> line added to configuration.nix by <code>nixos-generate-config</code> has been removed

{{File|~~/etc/nixos/configuration.nix|nix|<nowiki>~~

{{File|3={ config, ... }:

{ config, ... }:

{

Line 114:

Line 113:

}

'';

~~version = 2;~~

};

}</~~nowiki>~~}}

}|name=/etc/nixos/configuration.nix|lang=nix}}

==== EFI with multiple disks ====

Line 209:

Line 207:

== System time ==

System clock might be incorrect after booting Windows and going back to ~~the~~ NixOS. It can be fixed by ~~either~~ setting RTC time standard to UTC on Windows, ~~or setting it~~ to ~~localtime on NixOS~~.

System clock might be incorrect after booting Windows and going back to NixOS.

It can be fixed by setting RTC time standard to UTC on Windows (''recommended'', see [https://wiki.archlinux.org/title/System_time#UTC_in_Microsoft_Windows how to do this]).

~~Setting~~ RTC time standard to localtime, compatible with Windows in its default configuration:

Alternatively, you can set NixOS RTC time standard to localtime, compatible with Windows in its default configuration:

{{file|/etc/nixos/configuration.nix|nix|<nowiki>

Line 218:

}</nowiki>}}

See [https://wiki.archlinux.org/title/System_time#Time_standard Arch Linux wiki#System time].

See [https://wiki.archlinux.org/title/System_time#Time_standard Arch Linux wiki#System time] for discussion of both options.

== See also ==

* [[GNU GRUB]]

* [https://wiki.archlinux.org/index.php/GRUB#Windows_installed_in_UEFI-GPT_Mode_menu_entry Arch Linux wiki#GRUB]

* [https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/system/boot/loader/grub/install-grub.pl NixOS GRUB installer] (check the code block beginning with <nowiki># install EFI GRUB</nowiki>)

[[Category:Cookbook]][[Category:NixOS]]

[[Category:Cookbook]]

[[Category:NixOS]]

[[Category:Booting]]

@@ Line 1: / Line 1: @@
-This section explains various methods to have the bootloader prompt whether to boot windows or NixOS.
+This section explains various methods to have the [[bootloader]] prompt whether to boot windows or NixOS.
 == Autodetection ==
@@ Line 84: / Line 84: @@
 * the <code>boot.loader.systemd-boot.enable = true;</code> line added to configuration.nix by <code>nixos-generate-config</code> has been removed
-{{File|/etc/nixos/configuration.nix|nix|<nowiki>
+{{File|3={ config, ... }:
-{ config, ... }:
 {
@@ Line 114: / Line 113: @@
          }
        '';
-      version = 2;
      };
    };
-}</nowiki>}}
+}|name=/etc/nixos/configuration.nix|lang=nix}}
 ==== EFI with multiple disks ====
@@ Line 209: / Line 207: @@
 == System time ==
-System clock might be incorrect after booting Windows and going back to the NixOS. It can be fixed by either setting RTC time standard to UTC on Windows, or setting it to localtime on NixOS.
+System clock might be incorrect after booting Windows and going back to NixOS.
+It can be fixed by setting RTC time standard to UTC on Windows (''recommended'', see [https://wiki.archlinux.org/title/System_time#UTC_in_Microsoft_Windows how to do this]).
-Setting RTC time standard to localtime, compatible with Windows in its default configuration:
+Alternatively, you can set NixOS RTC time standard to localtime, compatible with Windows in its default configuration:
 {{file|/etc/nixos/configuration.nix|nix|<nowiki>
@@ Line 218: / Line 218: @@
 }</nowiki>}}
-See [https://wiki.archlinux.org/title/System_time#Time_standard Arch Linux wiki#System time].
+See [https://wiki.archlinux.org/title/System_time#Time_standard Arch Linux wiki#System time] for discussion of both options.
 == See also ==
+* [[GNU GRUB]]
 * [https://wiki.archlinux.org/index.php/GRUB#Windows_installed_in_UEFI-GPT_Mode_menu_entry Arch Linux wiki#GRUB]
 * [https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/system/boot/loader/grub/install-grub.pl NixOS GRUB installer] (check the code block beginning with <nowiki># install EFI GRUB</nowiki>)
-[[Category:Cookbook]][[Category:NixOS]]
+[[Category:Cookbook]]
+[[Category:NixOS]]
+[[Category:Booting]]