2024-04-12 14:46:13 -07:00
|
|
|
{pkgs, ...}: {
|
2025-10-31 22:02:09 -07:00
|
|
|
nix.settings.substituters = [
|
|
|
|
|
"https://helix.cachix.org/"
|
|
|
|
|
"https://devenv.cachix.org"
|
|
|
|
|
];
|
|
|
|
|
nix.settings.trusted-public-keys = [
|
|
|
|
|
"helix.cachix.org-1:ejp9KQpR1FBI2onstMQ34yogDm4OgU2ru6lIwPvuCVs="
|
|
|
|
|
"devenv.cachix.org-1:w1cLUi8dv3hnoSPGAuibQv+f9TZLr6cv/Hm9XgU50cw="
|
|
|
|
|
];
|
2025-10-24 17:36:00 -07:00
|
|
|
services.lorri.enable = true;
|
|
|
|
|
|
2025-06-30 19:47:18 -07:00
|
|
|
services.scx.enable = true;
|
|
|
|
|
services.scx.scheduler = "scx_lavd"; # default is "scx_rustland"
|
2025-04-10 14:51:42 -07:00
|
|
|
|
2025-06-30 19:47:18 -07:00
|
|
|
environment.systemPackages = with pkgs; [
|
2025-10-08 18:29:19 -07:00
|
|
|
mergiraf
|
|
|
|
|
lazyjj
|
2025-08-28 17:33:58 -07:00
|
|
|
egglog
|
|
|
|
|
z3
|
2025-08-20 13:05:11 -07:00
|
|
|
# cringelang
|
|
|
|
|
go
|
|
|
|
|
delve
|
|
|
|
|
gotools
|
2025-08-21 16:36:43 -07:00
|
|
|
gopls
|
2025-08-20 13:05:11 -07:00
|
|
|
|
2025-06-30 19:47:18 -07:00
|
|
|
# act
|
|
|
|
|
# asm-lsp
|
|
|
|
|
# bash-language-server
|
|
|
|
|
# digital
|
|
|
|
|
# etcher
|
|
|
|
|
# fontforge
|
|
|
|
|
# freecad
|
|
|
|
|
# git-cliff
|
|
|
|
|
# lua-language-server
|
|
|
|
|
# lychee # link checker
|
|
|
|
|
# markdown-oxide # markdown lsp
|
|
|
|
|
# quickemu
|
|
|
|
|
# radicle-node
|
|
|
|
|
# vulkan-loader
|
|
|
|
|
b3sum
|
|
|
|
|
delta
|
|
|
|
|
devenv
|
|
|
|
|
direnv
|
|
|
|
|
gh
|
|
|
|
|
hyperfine
|
|
|
|
|
jujutsu
|
|
|
|
|
just
|
2025-10-28 20:39:24 -07:00
|
|
|
just-lsp
|
2025-06-30 19:47:18 -07:00
|
|
|
lldb
|
|
|
|
|
mask
|
|
|
|
|
mprocs
|
|
|
|
|
nomachine-client
|
|
|
|
|
presenterm
|
|
|
|
|
qFlipper
|
|
|
|
|
qemu
|
|
|
|
|
sd
|
|
|
|
|
sshfs
|
|
|
|
|
taplo # toml lsp
|
|
|
|
|
tio
|
|
|
|
|
tokei # repo code stats
|
|
|
|
|
typos
|
2024-04-12 14:46:13 -07:00
|
|
|
|
2025-06-30 19:47:18 -07:00
|
|
|
# # databases
|
|
|
|
|
# sqlite
|
|
|
|
|
# sqls
|
|
|
|
|
# sqlx-cli
|
|
|
|
|
# sea-orm-cli
|
|
|
|
|
# rainfrog
|
2024-10-01 00:02:36 -07:00
|
|
|
|
2025-06-30 19:47:18 -07:00
|
|
|
# # arduino
|
|
|
|
|
# arduino-language-server
|
|
|
|
|
# arduino-cli
|
|
|
|
|
# pkgsCross.avr.buildPackages.gcc
|
|
|
|
|
# avrdude
|
|
|
|
|
# ravedude
|
2024-02-11 01:35:42 -08:00
|
|
|
|
2025-06-30 19:47:18 -07:00
|
|
|
# c
|
|
|
|
|
clang
|
|
|
|
|
clang-tools
|
|
|
|
|
gcc
|
|
|
|
|
gdb
|
|
|
|
|
gnumake
|
2024-02-11 01:35:42 -08:00
|
|
|
|
2025-06-30 19:47:18 -07:00
|
|
|
# nix
|
|
|
|
|
nil
|
|
|
|
|
alejandra
|
2024-02-11 01:35:42 -08:00
|
|
|
|
2025-06-30 19:47:18 -07:00
|
|
|
# python
|
|
|
|
|
# pypy3
|
|
|
|
|
python3
|
|
|
|
|
ruff
|
2025-09-07 20:34:22 -07:00
|
|
|
ty
|
|
|
|
|
uv
|
2025-10-08 18:29:19 -07:00
|
|
|
pyright
|
2024-02-11 01:35:42 -08:00
|
|
|
|
2025-06-30 19:47:18 -07:00
|
|
|
# rust
|
|
|
|
|
cargo-binstall
|
|
|
|
|
bacon
|
|
|
|
|
cargo-expand
|
|
|
|
|
cargo-feature
|
|
|
|
|
cargo-generate
|
|
|
|
|
cargo-watch
|
|
|
|
|
elf2uf2-rs
|
|
|
|
|
flip-link
|
|
|
|
|
mdbook
|
|
|
|
|
mold-wrapped
|
|
|
|
|
probe-rs
|
|
|
|
|
rustup
|
|
|
|
|
rusty-man
|
|
|
|
|
sccache
|
|
|
|
|
trunk
|
|
|
|
|
wasm-bindgen-cli
|
|
|
|
|
];
|
2023-09-28 23:33:56 -07:00
|
|
|
|
2025-06-30 19:47:18 -07:00
|
|
|
hardware.flipperzero.enable = true;
|
2024-03-18 14:50:43 -07:00
|
|
|
|
2025-06-30 19:47:18 -07:00
|
|
|
services.udev.extraRules = ''
|
|
|
|
|
SUBSYSTEM == "tty", GROUP="dialout", ATTRS{interface}=="Black Magic GDB Server", SYMLINK+="ttyBmpGdb"
|
|
|
|
|
SUBSYSTEM == "tty", GROUP="dialout", ATTRS{interface}=="Black Magic UART Port", SYMLINK+="ttyBmpTarg"
|
|
|
|
|
'';
|
2025-06-29 17:07:26 -07:00
|
|
|
|
2025-06-30 19:47:18 -07:00
|
|
|
virtualisation.docker = {
|
|
|
|
|
enable = true;
|
|
|
|
|
storageDriver = "btrfs";
|
|
|
|
|
};
|
|
|
|
|
# virtualisation.docker.rootless = {
|
|
|
|
|
# enable = true;
|
|
|
|
|
# setSocketVariable = true;
|
|
|
|
|
# };
|
|
|
|
|
users.extraGroups.docker.members = ["tao"];
|
2023-07-23 20:21:08 -07:00
|
|
|
}
|