292 lines
6.3 KiB
Nix
292 lines
6.3 KiB
Nix
{ pkgs, zen-browser, lib, config, ... }:
|
|
|
|
let
|
|
# tex = (pkgs.texlive.combine { inherit (pkgs.texlive)
|
|
# scheme-medium
|
|
# lettre
|
|
# wallpaper
|
|
# lastpage
|
|
# hyphenat
|
|
# moresize
|
|
# fontawesome5
|
|
# montserrat
|
|
# titlesec
|
|
# ly1
|
|
# footmisc
|
|
# titling
|
|
# frpseudocode
|
|
# ebproof
|
|
# comment
|
|
# ucs;
|
|
# });
|
|
tex = pkgs.texliveFull;
|
|
in {
|
|
users.users.lyes.packages = with pkgs; [
|
|
# Web
|
|
zen-browser.packages."${stdenv.hostPlatform.system}".default
|
|
dropbox
|
|
filezilla
|
|
organicmaps
|
|
bitwarden-desktop
|
|
|
|
# Messaging
|
|
# discord
|
|
vesktop
|
|
wasistlos
|
|
# signal-desktop
|
|
element-desktop
|
|
fractal
|
|
zoom-us
|
|
local.cinny-desktop
|
|
|
|
# Image
|
|
gimp
|
|
inkscape
|
|
pixieditor
|
|
|
|
# Video
|
|
mpv
|
|
syncplay
|
|
obs-studio
|
|
yt-dlp
|
|
# handbrake
|
|
# (kodi.withPackages(kodiPkgs: with kodiPkgs; [
|
|
# youtube
|
|
# sponsorblock
|
|
# pvr-iptvsimple
|
|
# ]))
|
|
# stremio # insecure dependency
|
|
|
|
# Audio
|
|
crosspipe
|
|
local.quadcastrgb
|
|
euphonica
|
|
local.KhinsiderDownloader
|
|
|
|
# Games
|
|
heroic
|
|
cemu
|
|
prismlauncher
|
|
cubiomes-viewer
|
|
# vvvvvv
|
|
ryubing
|
|
dolphin-emu
|
|
parsec-bin
|
|
# unstable.suyu
|
|
# suyu
|
|
pin.factorio.factorio
|
|
sgt-puzzles
|
|
|
|
# Reading
|
|
# calibre
|
|
|
|
# Note taking
|
|
tex
|
|
pandoc
|
|
unstable.typst
|
|
# typst
|
|
tinymist
|
|
zotero
|
|
folio
|
|
|
|
# Planification
|
|
planify
|
|
dosage-tracker
|
|
|
|
# Programming
|
|
git
|
|
git-lfs
|
|
# vscode
|
|
vscodium
|
|
# zed-editor
|
|
gcc
|
|
gnumake
|
|
rustup
|
|
python3
|
|
zola
|
|
ocaml
|
|
ocamlPackages.ocaml-lsp
|
|
ocamlPackages.ocamlformat
|
|
ocamlPackages.odoc
|
|
opam
|
|
dune_3
|
|
ledit
|
|
nodejs
|
|
nil
|
|
nixd
|
|
nixfmt
|
|
protege # LogIA Course
|
|
haskellPackages.Agda
|
|
agdaPackages.standard-library
|
|
elan
|
|
coq
|
|
# rocq-core
|
|
# rocqPackages.stdlib
|
|
coqPackages.coq
|
|
coqPackages.stdlib
|
|
# coqPackages.HoTT
|
|
coqPackages.equations
|
|
coqPackages.metarocq
|
|
coqPackages.metarocq-common
|
|
coqPackages.metarocq-utils
|
|
coqPackages.metarocq-template-rocq
|
|
coqPackages.vscoq-language-server
|
|
# Why3
|
|
why3
|
|
alt-ergo
|
|
cvc4
|
|
cvc5
|
|
z3
|
|
# CryptoVerif
|
|
cryptoverif
|
|
fstar
|
|
|
|
# Containers & VMs
|
|
toolbox
|
|
distrobox
|
|
|
|
# Virtualization
|
|
qemu
|
|
virt-manager
|
|
|
|
# Utilities
|
|
ghostty
|
|
via
|
|
|
|
# Proton
|
|
protonvpn-gui
|
|
|
|
# Multimedia
|
|
pipewire.dev
|
|
# pulseaudio
|
|
libopus
|
|
];
|
|
|
|
system.extraDependencies = with pkgs; [
|
|
pin.factorio.src
|
|
];
|
|
|
|
# Flatpaks
|
|
services.flatpak = lib.mkIf (config?services.flatpak.packages) {
|
|
packages = [
|
|
# Internet
|
|
"net.waterfox.waterfox"
|
|
"io.freetubeapp.FreeTube"
|
|
|
|
# Messaging
|
|
"org.signal.Signal"
|
|
"in.cinny.Cinny"
|
|
|
|
# Utilities
|
|
"org.gnome.World.PikaBackup"
|
|
|
|
# Customization
|
|
"com.github.tchx84.Flatseal"
|
|
|
|
# Games
|
|
"com.usebottles.bottles"
|
|
];
|
|
|
|
overrides = {
|
|
"org.signal.Signal".Context = {
|
|
"env" = [
|
|
"SIGNAL_PASSWORD_STORE=gnome-libsecret"
|
|
];
|
|
};
|
|
};
|
|
};
|
|
|
|
nixpkgs.overlays = [
|
|
# Version pins
|
|
(final: prev: {
|
|
# factorio = final.factorio.overrideAttrs (super: {
|
|
# version = "2.0.42";
|
|
# # src.name = "factorio_alpha_x64-2.0.42.tar.xz";
|
|
# # src.sha256 = "1zq6wcqkmn9bzys27v0jlk9m9m1jhaai1mybdv8hz7p2si4l76n9";
|
|
# src = "/nix/store/b9y0dwgxa6hpddrd8nn0g2fizxl3xss7-factorio_alpha_x64-2.0.42.tar.xz";
|
|
# });
|
|
# factorio = final.factorio.overrideAttrs (super: {
|
|
# username = "ntlyes";
|
|
# token = "";
|
|
# src =
|
|
# (pkgs.fetchurl {
|
|
# name = super.src.name;
|
|
# url = super.src.url;
|
|
# sha256 = "sha256-83GCCvULfgEHBBLN3HUlw9jJR5jwQau2XsEo5PFeboc=";
|
|
# });
|
|
# preHook =
|
|
# ''
|
|
# echo -n "ntlyes" > username
|
|
# cp ${config.age.secrets.factorio.path} token
|
|
# '';
|
|
# # (lib.overrideDerivation
|
|
# # (fetchurl {
|
|
# # name = "alpha";
|
|
# # url = "";
|
|
# # inherit name url sha256;
|
|
# # curlOptsList = [
|
|
# # "--get"
|
|
# # "--data-urlencode"
|
|
# # "username@username"
|
|
# # "--data-urlencode"
|
|
# # "token@token"
|
|
# # ];
|
|
# # })
|
|
# # (_: {
|
|
# # # This preHook hides the credentials from /proc
|
|
# # preHook =
|
|
# # if username != "" && token != "" then
|
|
# # ''
|
|
# # echo -n "${username}" >username
|
|
# # echo -n "${token}" >token
|
|
# # ''
|
|
# # else
|
|
# # ''
|
|
# # # Deliberately failing since username/token was not provided, so we can't fetch.
|
|
# # # We can't use builtins.throw since we want the result to be used if the tar is in the store already.
|
|
# # exit 1
|
|
# # '';
|
|
# # failureHook = ''
|
|
# # cat <<EOF
|
|
# # ${helpMsg}
|
|
# # EOF
|
|
# # '';
|
|
# # })
|
|
# # );
|
|
# });
|
|
|
|
# dolphin-emu = prev.dolphin-emu.overrideAttrs (super: {
|
|
# version = "2407";
|
|
# commit = "b92e354389bb7c0bd114a8631b8af110d3cb3a14";
|
|
|
|
# src = pkgs.fetchFromGitHub {
|
|
# owner = "dolphin-emu";
|
|
# repo = "dolphin";
|
|
# rev = "heads/refs/tags/${final.dolphin-emu.version}";
|
|
# hash = "sha256-8W4KyIj+rhDkWnQogjpzlEJVo3HJenfpWKimSyMGN7c=";
|
|
# fetchSubmodules = true;
|
|
# };
|
|
|
|
# cmakeFlags = [
|
|
# "-DDISTRIBUTOR=NixOS"
|
|
# "-DDOLPHIN_WC_BRANCH=${final.dolphin-emu.src.rev}"
|
|
# "-DDOLPHIN_WC_DESCRIBE=${final.dolphin-emu.version}"
|
|
# "-DDOLPHIN_WC_REVISION=${final.dolphin-emu.commit}"
|
|
# ];
|
|
# });
|
|
|
|
# mesa = final.mesa-24-2-4.mesa;
|
|
# mesa = prev.mesa.overrideAttrs (super: {
|
|
# version = "24.2.4";
|
|
|
|
# src = pkgs.fetchFromGitLab {
|
|
# domain = "gitlab.freedesktop.org";
|
|
# owner = "mesa";
|
|
# repo = "mesa";
|
|
# rev = "mesa-24.2.4";
|
|
# hash = "sha256-pgyvgMHImWO+b4vpCCe4+zOI98XCqcG8NRWpIcImGUk=";
|
|
# };
|
|
# });
|
|
})
|
|
];
|
|
}
|