index
:
mirror/vuizvui
this commit
band-aid-manual
master
s6-test-removed
ultrastar-play
Nix(OS) expressions used by the OpenLab and its members
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
modules
/
user
/
devhell
/
profiles
/
base.nix
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
profiles/base: Remove ultimate fontconfig and corefonts
devhell
2019-11-08
1
-4
/
+0
*
profiles/base: Add junicode and reactivate vista fonts
devhell
2019-11-08
1
-1
/
+2
*
profiles/base: Add U2F support
devhell
2019-10-12
1
-0
/
+1
*
modules/devhell: Enable Nitrokey proper
devhell
2019-10-11
1
-1
/
+2
*
profiles/base: Fix networking.useDHCP clash
devhell
2019-10-08
1
-1
/
+4
*
profiles/base: Add font Cascadia Code
devhell
2019-10-03
1
-1
/
+2
*
{machines,modules}/devhell: Split updateMicrocode
devhell
2019-08-25
1
-1
/
+0
*
devhell: Remove localtime and revert timeZone
devhell
2019-07-12
1
-1
/
+1
*
profiles/base: Set timeZone to null
devhell
2019-07-12
1
-1
/
+1
*
profiles/base: Allow mpd to access pulseaudio
devhell
2019-06-29
1
-0
/
+1
*
profiles/base: Disable vistafonts
devhell
2019-05-14
1
-1
/
+1
*
profiles/base: Add `dev` to `audio` group
devhell
2019-04-29
1
-1
/
+1
*
profiles/base: Add user dev to video group
devhell
2019-04-29
1
-1
/
+1
*
profiles/base: Switch back to linuxPackages_latest
devhell
2019-03-29
1
-1
/
+1
*
profiles/base: Switch to generic font-awesome
devhell
2019-03-04
1
-1
/
+1
*
modules/base: Switch to font_awesome_5
devhell
2019-02-28
1
-1
/
+1
*
profiles/base: Switch to kernel 4.19
devhell
2019-01-05
1
-1
/
+1
*
profiles/base: Remove networkmanager group
devhell
2018-12-02
1
-1
/
+1
*
Revert "profiles/base: Update user groups definition"
devhell
2018-07-02
1
-1
/
+1
*
profiles/base: Update user groups definition
devhell
2018-07-02
1
-1
/
+1
*
profiles/base: Add google-fonts and rename fa
devhell
2018-03-16
1
-1
/
+2
*
profiles/base: Add dev to wireshark group
devhell
2018-02-09
1
-1
/
+1
*
profiles/base: Add corefonts
devhell
2018-01-28
1
-0
/
+1
*
profiles/base: Add 'dev' to 'plugdev' group
devhell
2017-12-30
1
-1
/
+1
*
devhell/profiles: Add dev to docker group
devhell
2017-12-03
1
-1
/
+1
*
profiles/base: Add siji font
devhell
2017-10-24
1
-0
/
+1
*
devhell/base: Remove setting global TERM
devhell
2017-09-18
1
-1
/
+0
*
devhell: Move users_dev.nix into base profile
aszlig
2017-06-22
1
-0
/
+7
*
devhell/profiles/base: Disable firewall
aszlig
2017-06-22
1
-0
/
+2
*
Move devhell's machines into machines/
aszlig
2017-06-22
1
-0
/
+108
[prev]