henrov/nixos
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Regenerated

Browse Source
This commit is contained in:
Henro Veijer
2026-03-30 13:11:32 +00:00
parent 1aa1b0a021
commit 6690605575
3 changed files with 330 additions and 408 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Droidnix/README.html
+302 -328
View File
File diff suppressed because it is too large Load Diff
Droidnix/README.org
+14 -40
View File
@@ -1142,58 +1142,32 @@ in
** =generated/modules/traveldroid/apps/zsh.nix= ** =generated/modules/traveldroid/apps/zsh.nix=
This sets up the zsh in the terminal This sets up the zsh in the terminal
#+BEGIN_SRC nix :tangle generated/modules/traveldroid/apps/zsh.nix :noweb yes :mkdirp yes :eval never #+BEGIN_SRC nix :tangle generated/modules/traveldroid/apps/zsh.nix :noweb yes :mkdirp yes :eval never
{ lib, config, pkgs, flakeRoot, ... }: { lib, pkgs, flakeRoot, ... }:
let let
username = config.defaultUser or "henrov"; # Path to generated zsh config (optional)
generatedZsh = "${flakeRoot}/generated/.config/zsh/.zshrc"; generatedZsh = "${flakeRoot}/generated/.config/zsh/.zshrc";
in in
{ {
################################# #################################
# Install Zsh system-wide # Install Zsh and Oh My Zsh system-wide
################################# #################################
environment.systemPackages = [ environment.systemPackages = with pkgs; [
pkgs.zsh zsh
oh-my-zsh
]; ];
################################# #################################
# Home Manager user configuration # Optional: Deploy a custom .zshrc for all users
################################# #################################
home-manager.users = { # This will create /etc/zsh/.zshrc for all users
${username} = { environment.etc."zshrc".source = generatedZsh;
programs.zsh = {
enable = true;
enableCompletion = true;
autocd = true;
oh-my-zsh = { #################################
enable = true; # Optional: Set default shell for all users
theme = ""; #################################
plugins = [ # You can enable this if you want
"git" # users.extraUsers.<username>.shell = pkgs.zsh;
"sudo"
"extract"
"colored-man-pages"
"command-not-found"
"history"
"docker"
"kubectl"
];
};
enableAutosuggestions = true;
enableSyntaxHighlighting = true;
};
# Use ~/.config/zsh as ZDOTDIR
home.sessionVariables = {
ZDOTDIR = "${config.homeDirectory}/.config/zsh";
};
# Deploy the generated .zshrc
home.file.".config/zsh/.zshrc".source = generatedZsh;
};
};
} }
#+END_SRC #+END_SRC
Droidnix/generated/modules/traveldroid/apps/zsh.nix
+14 -40
View File
@@ -1,53 +1,27 @@
{ lib, config, pkgs, flakeRoot, ... }: { lib, pkgs, flakeRoot, ... }:
let let
username = config.defaultUser or "henrov"; # Path to generated zsh config (optional)
generatedZsh = "${flakeRoot}/generated/.config/zsh/.zshrc"; generatedZsh = "${flakeRoot}/generated/.config/zsh/.zshrc";
in in
{ {
################################# #################################
# Install Zsh system-wide # Install Zsh and Oh My Zsh system-wide
################################# #################################
environment.systemPackages = [ environment.systemPackages = with pkgs; [
pkgs.zsh zsh
oh-my-zsh
]; ];
################################# #################################
# Home Manager user configuration # Optional: Deploy a custom .zshrc for all users
################################# #################################
home-manager.users = { # This will create /etc/zsh/.zshrc for all users
${username} = { environment.etc."zshrc".source = generatedZsh;
programs.zsh = {
enable = true;
enableCompletion = true;
autocd = true;
oh-my-zsh = { #################################
enable = true; # Optional: Set default shell for all users
theme = ""; #################################
plugins = [ # You can enable this if you want
"git" # users.extraUsers.<username>.shell = pkgs.zsh;
"sudo"
"extract"
"colored-man-pages"
"command-not-found"
"history"
"docker"
"kubectl"
];
};
enableAutosuggestions = true;
enableSyntaxHighlighting = true;
};
# Use ~/.config/zsh as ZDOTDIR
home.sessionVariables = {
ZDOTDIR = "${config.homeDirectory}/.config/zsh";
};
# Deploy the generated .zshrc
home.file.".config/zsh/.zshrc".source = generatedZsh;
};
};
} }