rework home fischer

This commit is contained in:
Julien Malka 2023-11-28 14:26:41 +01:00
parent 0e370b033a
commit 169b288244
Signed by: Luj
GPG key ID: 6FC74C847011FD83

View file

@ -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"; }
];
};
};