From a413124033a80507a4f915391de7bef740d78d36 Mon Sep 17 00:00:00 2001
From: Yueh-Shun Li <shamrocklee@posteo.net>
Date: Fri, 16 Feb 2024 00:49:44 +0800
Subject: [PATCH] Remove outdated compatibility-with-NixOS option alias

In NixOS 23.11, `option.nix.extraConfig` was already renamed into
`option.nix.extraOption`, and no alias was left.

We no longer need the alias `option.nix.extraConfig` anymore.
---
 modules/environment/nix.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/modules/environment/nix.nix b/modules/environment/nix.nix
index c5295a9..2f01971 100644
--- a/modules/environment/nix.nix
+++ b/modules/environment/nix.nix
@@ -20,7 +20,6 @@ in
   imports = [
     (renameNixOpt "binaryCaches" "substituters")
     (renameNixOpt "binaryCachePublicKeys" "trustedPublicKeys")
-    (renameNixOpt "extraConfig" "extraOptions")
   ];
 
   ###### interface