2020-11-16 21:14:46 +01:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
{
|
|
|
|
environment.systemPackages = with pkgs; [
|
|
|
|
arduino
|
|
|
|
bless # hex editor
|
|
|
|
chromium
|
|
|
|
dbeaver
|
|
|
|
filezilla
|
|
|
|
fritzing
|
2021-07-22 14:41:38 +02:00
|
|
|
gnome.gnome-font-viewer
|
2022-05-29 18:28:26 +02:00
|
|
|
meld
|
2020-11-16 21:14:46 +01:00
|
|
|
insomnia
|
2023-01-22 17:24:06 +01:00
|
|
|
unstable.qgis
|
2021-08-10 18:01:49 +02:00
|
|
|
sqlitebrowser
|
2021-06-08 21:54:11 +02:00
|
|
|
unstable.sublime4
|
2023-04-02 12:16:55 +02:00
|
|
|
(vscode-with-extensions.override {
|
|
|
|
vscode = vscodium;
|
|
|
|
vscodeExtensions =
|
|
|
|
with vscode-extensions; [
|
|
|
|
bbenoist.nix
|
|
|
|
coenraads.bracket-pair-colorizer-2
|
|
|
|
editorconfig.editorconfig
|
|
|
|
mkhl.direnv
|
|
|
|
ms-azuretools.vscode-docker
|
|
|
|
ms-python.python
|
|
|
|
ms-vscode-remote.remote-ssh
|
|
|
|
] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
|
|
|
|
{
|
|
|
|
name = "remote-ssh-edit";
|
|
|
|
publisher = "ms-vscode-remote";
|
|
|
|
version = "0.47.2";
|
|
|
|
sha256 = "sha256-LxFOxkcQNCLotgZe2GKc2aGWeP9Ny1BpD1XcTqB85sI=";
|
|
|
|
}
|
|
|
|
{
|
|
|
|
name = "vsc-material-theme";
|
|
|
|
publisher = "Equinusocio";
|
|
|
|
version = "33.8.0";
|
|
|
|
sha256 = "sha256-+I4AUwsrElT62XNvmuAC2iBfHfjNYY0bmAqzQvfwUYM=";
|
|
|
|
}
|
|
|
|
];
|
|
|
|
})
|
2020-11-16 21:14:46 +01:00
|
|
|
];
|
|
|
|
}
|