initial commit

system/disko-config.nix

@@ -0,0 +1,37 @@
+{
+  disko.devices = {
+    disk = {
+      main = {
+        type = "disk";
+        device = "/dev/sda"; 
+        content = {
+          type = "gpt";
+          partitions = {
+            boot = {
+              size = "1M";
+              type = "EF02"; 
+              priority = 1; 
+            };
+            ESP = {
+              size = "512M";
+              type = "EF00";
+              content = {
+                type = "filesystem";
+                format = "vfat";
+                mountpoint = "/boot";
+              };
+            };
+            root = {
+              size = "100%";
+              content = {
+                type = "filesystem";
+                format = "ext4";
+                mountpoint = "/";
+              };
+            };
+          };
+        };
+      };
+    };
+  };
+}

system/ssh.nix

@@ -0,0 +1,23 @@
+{
+  config,
+  pkgs,
+  ...
+}: {
+  services.openssh.enable = true;
+
+  # Disable password login for security
+  services.openssh.settings.PasswordAuthentication = false;
+  services.openssh.settings.PermitRootLogin = "no";
+
+  # Add your authorized key for a specific user
+  programs.zsh.enable = true;
+  users.users.synchronous = {
+    isNormalUser = true;
+    shell = pkgs.zsh;
+    extraGroups = ["networkmanager" "wheel"];
+    openssh.authorizedKeys.keys = [
+      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIEw4Uqg9UBakoOpS4nVGE3ePKHnst0+02lFN04n2IyKb ginesin.j@northeastern.edu"
+    ];
+  };
+}
+

system/system.nix

@@ -0,0 +1,101 @@
+{
+  config, 
+  pkgs,
+  ...
+}: {
+  imports = [
+    ./ssh.nix
+    ./disko-config.nix
+  ];
+
+  # Set your time zone.
+  time.timeZone = "America/New_York";
+  # time.timeZone = "Asia/Seoul";
+
+  # Select internationalisation properties.
+  i18n.defaultLocale = "en_US.UTF-8";
+
+  i18n.extraLocaleSettings = {
+    LC_ADDRESS = "en_US.UTF-8";
+    LC_IDENTIFICATION = "en_US.UTF-8";
+    LC_MEASUREMENT = "en_US.UTF-8";
+    LC_MONETARY = "en_US.UTF-8";
+    LC_NAME = "en_US.UTF-8";
+    LC_NUMERIC = "en_US.UTF-8";
+    LC_PAPER = "en_US.UTF-8";
+    LC_TELEPHONE = "en_US.UTF-8";
+    LC_TIME = "en_US.UTF-8";
+  };
+
+  nixpkgs.config.allowUnfree = true; # unfreeeeee
+
+  nix = {
+    nixPath = [
+      "nixpkgs=/nix/var/nix/profiles/per-user/root/channels/nixos"
+      "nixos-config=/home/synchronous/nix-cfg/configuration.nix"
+      "/nix/var/nix/profiles/per-user/root/channels"
+    ];
+
+    settings = {
+      experimental-features = ["nix-command" "flakes"];
+      substituters = [
+        "https://nix-community.cachix.org"
+      ];
+      trusted-public-keys = [
+        "nix-community.cachix.org-1:mB9FSh9qf2dCimDSUo8Zy7bkq5CX+/rkCWyvRCYg3Fs="
+      ];
+    };
+  };
+
+  services.xserver.enable = true;
+  networking.networkmanager.enable = true;
+  services.xserver.displayManager.lightdm.enable = true;
+  services.xserver.desktopManager.xfce.enable = true;
+
+  system.stateVersion = "25.11";
+
+  environment.systemPackages = with pkgs; [
+    vim
+    neovim
+    linux-manual
+    man-pages
+    man-pages-posix
+    fontconfig
+    python3
+    tree
+    yq
+  ];
+
+  fonts = {
+    enableDefaultPackages = true;
+    packages = with pkgs; [
+      corefonts
+      fira-code
+      fira-code-symbols
+      # font-awesome_4
+      # font-awesome_5
+      # inconsolata
+      # ipaexfont
+      # jetbrains-mono
+      # noto-fonts-cjk-sans
+      # noto-fonts-cjk-serif
+      # siji
+      # ubuntu_font_family
+      # noto-fonts-cjk-sans
+      # b612
+      # nerd-fonts.noto
+      # nerd-fonts.mplus
+      nerd-fonts.jetbrains-mono
+      noto-fonts-color-emoji
+    ];
+
+    # fontDir.enable = true;
+
+    fontconfig = {
+      enable = true;
+      defaultFonts = {
+        monospace = ["Fira Code"];
+      };
+    };
+  };
+}