diff options
author | devhell <devhell@mailfresser.de> | 2017-12-21 21:51:37 +0000 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2017-12-21 21:51:37 +0000 |
commit | 6edeead10bcabbd86cf499589f1b1911e0ccd2f2 (patch) | |
tree | 9b6f4d29ad0a9b87db0e856fe6ef9f8e3d96cdcb /modules/user/devhell/profiles/packages.nix | |
parent | 0eaa0bded6705b8d856e23fa82000d7528e7fb74 (diff) |
profiles/{packages,modules}: Disable VirtualBox
Hydra has some issues with this, so disabling again for now.
Diffstat (limited to 'modules/user/devhell/profiles/packages.nix')
-rw-r--r-- | modules/user/devhell/profiles/packages.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/modules/user/devhell/profiles/packages.nix b/modules/user/devhell/profiles/packages.nix index 1ba65d78..eb16231a 100644 --- a/modules/user/devhell/profiles/packages.nix +++ b/modules/user/devhell/profiles/packages.nix @@ -46,9 +46,9 @@ in { enableOfficalBranding = true; }; - virtualbox = { - enableExtensionPack = true; - }; +# virtualbox = { +# enableExtensionPack = true; +# }; mpv = { youtubeSupport = true; |