desktop improvements

This commit is contained in:
Ingolf Wagner 2023-03-12 10:00:48 +01:00
parent df3121357e
commit ac28c9679e
No known key found for this signature in database
GPG key ID: 76BF5F1928B9618B
3 changed files with 2 additions and 2 deletions

View file

@ -156,7 +156,7 @@ in
selected = blue; selected = blue;
in in
[{ [{
mode = "hide"; #mode = "hide";
hiddenState = "hide"; hiddenState = "hide";
position = "top"; position = "top";
workspaceButtons = true; workspaceButtons = true;

View file

@ -16,6 +16,7 @@ in
environment.systemPackages = with pkgs; [ environment.systemPackages = with pkgs; [
git git
gita
tig tig
lazygit lazygit
git-crypt git-crypt

View file

@ -252,7 +252,6 @@ in
units units
hub # for github hub # for github
gita
(writeShellScriptBin "ingdiba-security" '' (writeShellScriptBin "ingdiba-security" ''
first=$1 first=$1