maralorn/nixos-config
1
0
Fork 0
Code Wiki Activity

Fix gnome title bar to not interfere with running programs

Browse source
This commit is contained in:
Malte Brandy 2021-10-11 22:14:33 +02:00
parent 6778d12cee
commit d223b0ac42
No known key found for this signature in database
GPG key ID: 226A2D41EF5378C9
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
home-manager/roles/gnome.nix
View file

@ -16,9 +16,9 @@ let
name <- Text.strip <$> readFileText "/home/maralorn/.mode" `onException` say "File /home/maralorn/.mode not found."
maybe (say [i|Unknown mode #{name}|] >> error [i|Unknown mode #{name}|]) pure $ find (\mode -> name == (Text.toLower $ show mode)) $ modes
isDirty gitDir = ((/= "") <$> (git "-C" gitDir "status" "--porcelain" |> captureTrim)) `catch` (\(_ :: SomeException) -> pure True)
isDirty gitDir = ((/= "") <$> (git "--no-optional-locks" "-C" gitDir "status" "--porcelain" |> captureTrim)) `catch` (\(_ :: SomeException) -> pure True)
isUnpushed gitDir = do
revs <- LBS.split 10 <$> tryCmd (git "-C" gitDir "rev-parse" "@{u}" "HEAD")
revs <- LBS.split 10 <$> tryCmd (git "--no-optional-locks" "-C" gitDir "rev-parse" "@{u}" "HEAD")
pure $ length revs /= 2 || (revs !!? 0 /= revs !!? 1)
tryCmd x = ignoreFailure x |> captureTrim