nixos/users/jsutter.nix
Julian Sutter fdb3a384b4 Increase button size in Zed editor
This commit adds UI metrics overrides to make buttons in Zed editor
larger and easier to interact with.

## Changes Made

### File: users/jsutter.nix

Added ui_metrics configuration to Zed editor userSettings:

```nix
ui_metrics = {
  overrides = {
    button = {
      padding = {
        top = 8;
        right = 12;
        bottom = 8;
        left = 12;
      };
      corner_radius = 8;
      font_size = 14;
    };
  };
};
```

## What This Does

- **Increased padding**: Buttons now have 8px top/bottom and 12px left/right padding
  (vs default smaller values)
- **Larger corner radius**: Buttons have rounded corners with 8px radius for
  a softer, more modern appearance
- **Bigger font**: Button text is now 14px instead of the default smaller size

## How to Apply

The changes will take effect when you either:
1. Rebuild the NixOS configuration: `sudo nixos-rebuild switch --flake .#framework`
2. Or restart the Zed editor (if using mutableUserSettings, changes may be
   picked up immediately upon next launch)

## Customization Notes

If you want to adjust the button size even more, you can modify these values:
- Decrease `padding` values for smaller buttons
- Increase `padding` values for larger buttons
- Adjust `font_size` for larger/smaller text on buttons
- Adjust `corner_radius` for more/less rounded corners

The `mutableUserSettings = true` option allows Zed to modify settings.json
directly when you change settings in the UI, while these Nix-managed
settings provide the base configuration.
2026-02-03 22:20:09 -08:00

209 lines
6 KiB
Nix

{ config, pkgs, pkgs-unstable, home-manager, lib, ... }:
{
users.users.jsutter = {
shell = pkgs.zsh;
isNormalUser = true;
description = "Julian Sutter";
extraGroups = [ "networkmanager" "wheel" "docker" "libvirtd" "audio" "plugdev" ];
hashedPassword = "$6$tvkhGd24G6pVOsWr$j8ZAqSnXPTGwMGmIulU5Puzqd4iKdu8eAMSFis/cPqTW6u2xGQMqPHH1W9IZwKSL6.nS7Jc/NR2VwpPosyXDH/";
openssh.authorizedKeys.keys = [ "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIBNVUh+RrcOSMRV6qysnsdPs5AyK8dSm4QhhnwgpikyI jsutter@symbiotrip.com" ];
packages = with pkgs; [
# Essential CLI tools and user utilities only
# GUI applications have been moved to appropriate desktop modules
direnv # Development environment management
appimage-run # System utility for AppImages
micro
];
};
#Everything below is home manager managed:
home-manager = {
useUserPackages = true;
backupFileExtension = "backup";
users.jsutter = {
home.username = "jsutter";
home.homeDirectory = "/home/jsutter";
programs.home-manager.enable = true;
home.stateVersion = "25.05";
# Set environment variables here
home.sessionVariables = {
OPENAI_API_KEY = "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";
SYNTHETIC_L_API_KEY = "syn_5bfe68ad3826bb7872f32fcf160e959a";
};
programs.git = {
enable = true;
settings = {
user = {
name = "Julian Sutter";
email = "jsutter@symbiotip.com";
};
core.editor = "nano";
credential.helper = "store";
init.defaultBranch = "main";
};
};
programs.go.enable= true;
programs.zed-editor = {
enable = true;
# Lets Zed update settings.json when you change agent/model settings in the UI
mutableUserSettings = true;
extensions = [
"nix"
"markdown"
"toml"
"go"
"dracula"
];
extraPackages = with pkgs; [
nixd
nil
go
gopls
];
userSettings = {
language_models = {
openai_compatible = {
SyntheticL = {
api_url = "https://api.synthetic.new/openai/v1";
available_models = [
{
name = "hf:zai-org/GLM-4.7";
display_name = "SyntheticL";
max_tokens = 198000;
}
];
};
};
};
agent = {
default_model = {
provider = "SyntheticL";
model = "hf:zai-org/GLM-4.7";
};
};
ui_metrics = {
overrides = {
button = {
padding = {
top = 8;
right = 12;
bottom = 8;
left = 12;
};
corner_radius = 8;
font_size = 14;
};
};
};
};
};
programs.vscode = {
enable = true;
package = pkgs.vscodium;
profiles.default.extensions = with pkgs.vscode-extensions; [
dracula-theme.theme-dracula
yzhang.markdown-all-in-one
mkhl.direnv
golang.go
bbenoist.nix
arrterian.nix-env-selector
jnoortheen.nix-ide
saoudrizwan.claude-dev
# optional alt:
# continue.continue
];
};
programs.zsh = {
enable = true;
enableCompletion = false; # enabled in oh-my-zsh
autosuggestion.enable = true;
initContent = ''
test -f ~/.dir_colors && eval $(dircolors ~/.dir_colors)
'';
shellAliases = {
ne = "nix-env";
ni = "nix-env -iA";
no = "nixops";
ns = "nix-shell --pure";
nra = "sudo nixos-rebuild switch --flake .#aurora";
nrf = "sudo nixos-rebuild switch --flake .#framework";
nrl = "sudo nixos-rebuild switch --flake .#labrizor";
};
oh-my-zsh = {
enable = true;
plugins = [ "git" "systemd" "rsync" "kubectl" "ansible" "battery" "colored-man-pages" "colorize" "common-aliases" "cp" "docker" "docker-compose" "git-auto-fetch" "git-extras" "github" "git-prompt" "gnu-utils" "golang" "nmap" "postgres" "python" "rust" "ssh-agent" "sudo" "systemd" "ufw" "vscode" ];
theme = "terminalparty";
};
};
programs.lsd = {
enable = true;
};
programs.bat.enable = true;
programs.firefox = {
enable = true;
package = pkgs.wrapFirefox pkgs.firefox-unwrapped {
extraPolicies = {
CaptivePortal = false;
DisableFirefoxStudies = true;
DisablePocket = true;
DisableTelemetry = true;
DisableFirefoxAccounts = false;
NoDefaultBookmarks = true;
OfferToSaveLogins = false;
OfferToSaveLoginsDefault = false;
PasswordManagerEnabled = false;
FirefoxHome = {
Search = true;
Pocket = false;
Snippets = false;
TopSites = false;
Highlights = false;
};
UserMessaging = {
ExtensionRecommendations = false;
SkipOnboarding = true;
};
};
};
profiles = {
jsutter = {
id = 0;
name = "jsutter";
settings = {
"general.smoothScroll" = true;
};
extraConfig = ''
user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true);
user_pref("full-screen-api.ignore-widgets", true);
user_pref("media.ffmpeg.vaapi.enabled", true);
user_pref("media.rdd-vpx.enabled", true);
'';
};
};
};
};
};
}