alex/infrastructure
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

updates

Browse Source
This commit is contained in:
Alex Mickelson
2025-07-25 16:04:45 -06:00
parent 13180ff6cd
commit 76d5d28d26
3 changed files with 23 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

0
flakes/opencode/flake.nix Normal file
View File

40
nix/flakes/opencode/flake.nix
View File

@@ -37,26 +37,26 @@
"--no-sandbox" "--no-sandbox"
]; ];
}; };
sequential_thinking = { # sequential_thinking = {
type = "local"; # type = "local";
command = [ # command = [
"npx" # "npx"
"-y" # "-y"
"@modelcontextprotocol/server-sequential-thinking" # "@modelcontextprotocol/server-sequential-thinking"
]; # ];
}; # };
discord_bot = { # discord_bot = {
type = "local"; # type = "local";
command = [ # command = [
"npx" # "npx"
"-y" # "-y"
"@pyroprompts/mcp-stdio-to-streamable-http-adapter" # "@pyroprompts/mcp-stdio-to-streamable-http-adapter"
]; # ];
environment = { # environment = {
URI = "http://server.alexmickelson.guru:5678/mcp/"; # URI = "http://server.alexmickelson.guru:5678/mcp/";
MCP_NAME = "discord_bot"; # MCP_NAME = "discord_bot";
}; # };
}; # };
}; };
}; };
configJson = pkgs.writeTextFile { configJson = pkgs.writeTextFile {

7
nix/home-manager/work.home.nix
View File

@@ -239,7 +239,6 @@ in {
Name=Open a New Private Window Name=Open a New Private Window
Exec=firefox --private-window Exec=firefox --private-window
''; '';
".local/share/applications/teams.desktop".text = '' ".local/share/applications/teams.desktop".text = ''
[Desktop Entry] [Desktop Entry]
Version=1.0 Version=1.0
@@ -256,15 +255,15 @@ in {
home.sessionVariables = { EDITOR = "vim"; }; home.sessionVariables = { EDITOR = "vim"; };
dconf.enable = true; dconf.enable = true;
dconf.settings = { dconf.settings = {
"org/gnome/desktop/wm/keybindings" = { toggle-maximized = [ "<Super>m" ]; }; "org/gnome/desktop/wm/keybindings" = {
toggle-maximized = [ "<Super>m" ];
};
"org/gnome/desktop/interface" = { color-scheme = "prefer-dark"; }; "org/gnome/desktop/interface" = { color-scheme = "prefer-dark"; };
"org/gnome/settings-daemon/plugins/media-keys" = { "org/gnome/settings-daemon/plugins/media-keys" = {
custom-keybindings = [ custom-keybindings = [
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/"
]; ];
}; };
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" =
{ {
name = "Launch Ghostty"; name = "Launch Ghostty";