Pinned Loading

1. RGB mouse as a battery monitor RGB mouse as a battery monitor

   1

   Install `piper` and `psutil`

2. nilfs2-mounter nilfs2-mounter Public

   mount NILFS2 snapshots without sudo

   Shell

3. keycloak-idp-group-mapper keycloak-idp-group-mapper Public

   Keycloak extension that allows mapping OpenID Connect claims to Keycloak groups

   Java 7

4. Powerline prompt generator for bash,... Powerline prompt generator for bash, in haskell

   1

   --EXAMPLE : of course you need GHC installed, and ghci's `runhaskell

   2

   -- wanted prompt : [Segment 8 202 [Bold,Text " \\u "],Segment 202 16 [Bold,Text "@ "],Segment 240 255 [Underline,Text "\\H",StopUnderline,Text " "],Segment 220 16 [Bold,Text "$ "]]

   3

   -- run in shell export PS1=$(echo '[Segment 8 202 [Bold,Text " \\u "],Segment 202 16 [Bold,Text "@ "],Segment 240 255 [Underline,Text "\\H",StopUnderline,Text " "],Segment 220 16 [Bold,Text "$ "]]' | runhaskell haskell-powerline-prompt-generator.hs )

   4

   5

   -- my prompt : [Segment 10 202 [Bold,Text " \\u "],Segment 202 16 [Bold,Text "\\H "],Segment 12 231 [Underline,Text "\\w",StopUnderline,Text " "],Segment 220 16 [Bold,Text "$ "]]

5. simulation-proie-predateur simulation-proie-predateur Public

   projet d'info 2A INSA

   Java 1

6. gns3-auto-setup gns3-auto-setup Public

   configure les routeurs d'un projet GNS3 de manière entièrement automatique (il fait l'adressage IP tout seul) et extensible (système de template & overrides)

   Python 3