From 169b288244ad6b5a9989b7391630ec2fe3c800ba Mon Sep 17 00:00:00 2001
From: Julien Malka <julien@malka.sh>
Date: Tue, 28 Nov 2023 14:26:41 +0100
Subject: [PATCH] rework home fischer
---
machines/fischer/home-julien.nix | 48 ++++++--------------------------
1 file changed, 8 insertions(+), 40 deletions(-)
diff --git a/machines/fischer/home-julien.nix b/machines/fischer/home-julien.nix
index efcc55f..52b9964 100644
--- a/machines/fischer/home-julien.nix
+++ b/machines/fischer/home-julien.nix
@@ -8,15 +8,21 @@
luj.programs.ssh-client.enable = true;
luj.programs.git.enable = true;
luj.programs.gtk.enable = true;
- luj.programs.alacritty.enable = true;
- luj.programs.sway.enable = true;
luj.programs.waybar.enable = true;
luj.programs.waybar.interfaceName = "enp0s13f0u1u4u4";
luj.programs.kitty.enable = true;
+ luj.programs.alacritty.enable = true;
luj.programs.dunst.enable = true;
luj.programs.zsh.enable = true;
luj.programs.emacs.enable = true;
+ luj.programs.firefox.enable = true;
luj.emails.enable = true;
+ luj.programs.sway = {
+ enable = true;
+ modifier = "Mod1";
+ background = ./wallpaper.jpg;
+ };
+
programs.rofi = {
enable = true;
@@ -30,15 +36,8 @@
name = "Adwaita";
package = pkgs.gnome.adwaita-icon-theme;
size = 15;
- x11 = {
- enable = true;
- defaultCursor = "Adwaita";
- };
};
- xsession.enable = true;
- xsession.windowManager.command = "${pkgs.swayfx}/bin/sway";
-
home.packages = with pkgs;
[
@@ -59,28 +58,16 @@
htop
evince
mosh
- obsidian
zotero
flameshot
- kitty
networkmanagerapplet
- element-desktop
xdg-utils
sops
step-cli
- coq
gh
gh-dash
cvc5
signal-desktop-beta
- coqPackages.coqide
- (why3.withProvers
- [
- unstable.cvc4
- alt-ergo
- z3
- ])
- libsForQt5.neochat
scli
texlive.combined.scheme-full
];
@@ -92,25 +79,6 @@
};
- programs.chromium = {
- enable = true;
- commandLineArgs = [
- "--ozone-platform-hint=wayland"
- "--load-media-router-component-extension=1"
- ];
- extensions = [
- { id = "cjpalhdlnbpafiamejdnhcphjbkeiagm"; } # uBlock Origin
- { id = "ldlghkoiihaelfnggonhjnfiabmaficg"; } # Alt+Q switcher
- { id = "enjjhajnmggdgofagbokhmifgnaophmh"; } # Resolution Zoom for HiDPI
- { id = "fihnjjcciajhdojfnbdddfaoknhalnja"; } # I don't care about cookies
- { id = "ekhagklcjbdpajgpjgmbionohlpdbjgc"; } # Zotero Connector
- { id = "hlepfoohegkhhmjieoechaddaejaokhf"; } # Refined GitHub
- { id = "nngceckbapebfimnlniiiahkandclblb"; } # Bitwarden
- { id = "dcpihecpambacapedldabdbpakmachpb"; updateUrl = "https://raw.githubusercontent.com/iamadamdev/bypass-paywalls-chrome/master/src/updates/updates.xml"; }
- ];
- };
-
-
};