;; This is an operating system configuration generated ;; by the graphical installer. ;; ;; Once installation is complete, you can learn and modify ;; this file to tweak the system configuration, and pass it ;; to the 'guix system reconfigure' command to effect your ;; changes. ;; Indicate which modules to import to access the variables ;; used in this configuration. (use-modules (gnu) (guix store) (guix packages) (gnu packages pdf) (gnu packages cran) (gnu packages kde) (gnu packages tex) (gnu packages unicode) (gnu packages python-build) (gnu packages glib) (gnu packages haskell-xyz) (gnu packages kde-pim) (gnu packages guile-xyz) (gnu packages python-xyz) (gnu packages pulseaudio) (gnu packages texinfo) (gnu packages cmake) (gnu packages disk) (gnu packages freedesktop) (gnu packages gnuzilla) (gnu packages image) (gnu packages image-viewers) (gnu packages messaging) (gnu packages vim) (gnu packages gstreamer) (gnu packages virtualization) (gnu packages web-browsers) (gnu services) (gnu services vpn) (gnu services dbus) (gnu services shepherd) (gnu system shadow) (gnu services configuration) (gnu packages build-tools) (gnu packages admin) (gnu packages qt) (gnu packages lxde) (gnu packages python) (gnu packages bittorrent) (gnu packages chromium) (gnu packages compression) (gnu packages tor) (gnu packages ncurses) (gnu packages web) (gnu packages fonts) (gnu packages vpn) (gnu packages curl) (gnu packages password-utils) (gnu packages emacs) (gnu packages node) (gnu packages emacs-xyz) (gnu packages engineering) (gnu packages fontutils) (gnu packages gimp) (gnu packages gnome) (gnu packages gnome-xyz) (gnu packages gnupg) (gnu packages haskell-apps) (gnu packages imagemagick) (gnu packages java) (gnu packages libreoffice) (gnu packages linux) (gnu packages mpd) (gnu packages package-management) (gnu packages rsync) (gnu packages ssh) (gnu packages telegram) (gnu packages video) (gnu packages wm) (gnu packages xdisorg) (gnu packages xorg) (gnu home services gnupg) (gnu home services xdg) (gnu packages terminals) (gnu packages music) (gnu packages compton) (gnu packages version-control) (gnu packages lxqt) (gnu packages file-systems) (gnu packages lisp) (gnu packages networking) (gnu home services gnupg) (gnu home services xdg) (gnu packages security-token) (gnu packages tls) (gnu packages graphics) (nongnu packages compression) (nongnu packages clojure) (nongnu packages linux) (nongnu system linux-initrd)) (use-service-modules base cups desktop networking ssh xorg linux virtualization) (use-package-modules linux ) (define my-kernel linux-6.7) (define-public bitmask-service-type (service-type (name 'bitmask) (description "Setup the @uref{https://bitmask.net, Bitmask} VPN application.") (default-value bitmask) (extensions (list ;; To configure polkit policy of bitmask. (service-extension polkit-service-type list) ;; To add bitmask to the system profile. (service-extension profile-service-type list))))) (operating-system (kernel my-kernel) (initrd microcode-initrd) (firmware (list linux-firmware)) (locale "en_US.utf8") (timezone "America/Sao_Paulo") (keyboard-layout (keyboard-layout "br")) (host-name "lisp") ;; The list of user accounts ('root' is implicit). (users (cons* (user-account (name "berkeley") (comment "Berkeley") (group "users") (home-directory "/home/berkeley") (supplementary-groups '("wheel" "netdev" "audio" "video" "plugdev"))) (user-account (name "leti") (comment "Letícia") (group "users") (home-directory "/home/leti") (supplementary-groups '("wheel" "netdev" "audio" "video" "plugdev"))) %base-user-accounts)) ;; Packages installed system-wide. Users can also install packages ;; under their own account: use 'guix search KEYWORD' to search ;; for packages and 'guix install PACKAGE' to install a package. (packages (append (list ;emacs-org-roam ;emacs-org-roam-ui gstreamer gst-plugins-bad gst-plugins-good nyxt cmus xdg-utils curl gthumb mangohud qtsolutions glances zstd mpv kitty maim procps scrot texlive-scheme-basic texlive-listings texmaker texlive-pgf texlive-beamer texlive-hyperref alacritty wipe imagemagick unzip compton p7zip gedit htop netdiscover fping gparted texstudio texlive-bibtex bcachefs-tools whois python-pip setxkbmap xfe libbluray libaacs libbdplus vim neovim ;emacs-telega cmake neofetch kleopatra krita flatpak pfetch icecat hashcat haunt openssl flameshot openshot obs ffmpeg lm-sensors vlc virt-manager guix nsxiv git inxi tor ; emacs-org-roam torsocks tor-client privoxy terminator openvpn pavucontrol pavucontrol-qt emacs keepassxc wireshark tcpdump nmap firejail bitmask ;; xf86-video-amdgpu alsa-lib alsa-utils binutils dbus xset lxrandr dosfstools elogind qtox exfat-utils exfatprogs fuse-exfat gnupg libinput texinfo xf86-input-keyboard xf86-input-libinput xf86-input-mouse xf86-input-synaptics ;;emacs-org-timeblock xrandr ungoogled-chromium qbittorrent macchanger ;guile ;emacs-geiser ;emacs-geiser-guile fontconfig picom feh gimp fzf xmodmap rofi coreutils qemu xwininfo xprop xpra libfido2 grep iptables node jq python sed nomacs meson ncurses ;; lots of fonts from package fonts.scm font-adobe-source-code-pro font-adobe-source-han-sans font-adobe-source-sans-pro font-adobe-source-serif-pro font-anonymous-pro font-anonymous-pro-minus font-awesome font-cns11643 font-cns11643-swjz font-comic-neue font-culmus font-dejavu font-dosis font-dseg font-fantasque-sans font-fira-code font-fira-mono font-fira-sans font-fontna-yasashisa-antique font-google-material-design-icons font-google-noto font-google-roboto font-hack font-hermit font-ibm-plex font-inconsolata font-iosevka font-iosevka-aile font-iosevka-etoile font-iosevka-slab font-iosevka-term font-iosevka-term-slab font-ipa-mj-mincho font-jetbrains-mono font-lato font-liberation font-linuxlibertine font-lohit font-meera-inimai font-mononoki font-mplus-testflight font-public-sans font-rachana font-sarasa-gothic font-sil-andika font-sil-charis font-sil-gentium font-tamzen font-terminus font-tex-gyre font-un font-vazir font-wqy-microhei font-wqy-zenhei python-emoji ghc-emojis texlive-emoji emacs-emojify texlive-twemoji-colr texlive-noto-emoji texlive-hwemoji texlive-byo-twemojis unicode-emoji texlive-twemojis texlive-emojicite ;;rust-unic-emoji-char r-emojifont font-google-noto-emoji ;; font-apple-color-emoji emacs-company-emoji font-openmoji vim-characterize texlive-lua-uni-algos texlive-pwebmac texlive-olsak-misc texlive-pdfoverlay texlive-texosquery texlive-pdfx texlive-pdfprivacy texlive-pdfcomment texlive-iftex texlive-tex texlive-montex texlive-pdfescape texlive-texdef texlive-pdfpages extractpdfmark texlive-csplain poppler-qt5 poppler texlive-pdf14 texlive-thumbpdf texlive-pax texlive-etex texlive-axodraw2 texlive-repltext texlive-luatex texlive-hyperref texlive-xetex texlive-pdftexcmds texlive-epstopdf texlive-epsf-dvipdfmx texlive-dvipdfmx texlive-texsurgery texlive-ptex2pdf texlive-jadetex texlive-texlogfilter texlive-svg-inkscape texlive-purifyeps texlive-navigator texlive-latex-uni8 texlive-biblatex texlive-latex-make texlive-pgf texlive-pdftricks texlive-pdflatexpicscale texlive-pdfmanagement-testphase texlive-pdflatexpicscale texlive-pdfextra texlive-tagpdf texlive-pdfreview texlive-pdfmsym texlive-mptopdf texlive-inter texlive-pdftex-quiet texlive-pdftex texlive-knuth-pdf texlive-xmltexconfig texlive-pdfjam texlive-luatex85 texlive-grayhints texlive-fig4latex texlive-tpic2pdftex texlive-pst2pdf texlive-pdfslide texlive-minim-pdf texlive-hvextern texlive-flippdf texlive-combinedgraphics texlive-autopdf texlive-xetex-pstricks texlive-texonly texlive-scikgtex texlive-pdfsync texlive-mathastext texlive-luainputenc texlive-latexmk texlive-hyperxmp texlive-datetime2-en-fulltext texlive-commonunicode texlive-pict2e texlive-intopdf texlive-filemod texlive-textcsc texlive-texpower texlive-texdoc texlive-pst-pdf texlive-pdfpc-movie texlive-pdfmarginpar texlive-pdfbook2 texlive-pdf-trans texlive-lobster2 texlive-hitex texlive-epstopdf-pkg texlive-epspdfconversion texlive-collection-luatex texlive-bxpdfver texlive-asmeconf texlive-synctex texlive-pdfcolmk texlive-pdfcolfoot texlive-lapdf texlive-fixpdfmag python-pdfminer-six texlive-zhmetrics-uptex texlive-xpdfopen texlive-xcpdftips texlive-quattrocento texlive-pdfxup texlive-pdfpc texlive-pdfarticle texlive-oswald texlive-nunito texlive-magra texlive-librebaskerville texlive-l3experimental texlive-knuth-hint texlive-forum texlive-epspdf texlive-dickimaw texlive-convbkmk texlive-changebar texlive-cascadia-code texlive-cabin texlive-bitter texlive-auto-pst-pdf-lua texlive-arvo texlive-archivo texlive-sanitize-umlaut texlive-protex texlive-pdftricks2 texlive-pdflscape texlive-ocg-p texlive-minim-xmp texlive-gregoriotex texlive-docshots emacs-latex-preview-pane ;;rust-deunicode nheko ;; lots of fonts from package xorg.scm font-adobe100dpi font-adobe75dpi font-cronyx-cyrillic font-dec-misc font-isas-misc font-micro-misc font-misc-cyrillic font-misc-ethiopic font-misc-misc font-mutt-misc font-schumacher-misc font-screen-cyrillic font-sony-misc font-sun-misc font-util font-winitzki-cyrillic font-xfree86-type1 sbcl-stumpwm-swm-gaps sbcl-stumpwm-pamixer sbcl-stumpwm-screenshot sbcl-stumpwm-disk sbcl-stumpwm-ttf-fonts stumpwm `(,stumpwm "lib") sbcl-stumpwm-mem sbcl-stumpwm-cpu sbcl-stumpwm-net ;emacs-stumpwm-mode stumpish youtube-dl linux-firmware (specification->package "i3-wm") (specification->package "i3status") (specification->package "dmenu") (specification->package "st") (specification->package "emacs") (specification->package "emacs-exwm") (specification->package "emacs-desktop-environment") (specification->package "nss-certs")) %base-packages)) ;; Below is the list of system services. To search for available ;; services, run 'guix system search KEYWORD' in a terminal. ;;(home-environment (packages (cons* anki ))) ;; figure out how to install it from here ;;(home-environment (packages (cons* anki ))) ;; figure out how to install it from here ;; Below is the list of system services. To search for available ;; services, run 'guix system search KEYWORD' in a terminal. (services (append (list (udev-rules-service 'fido2 libfido2 #:groups '("plugdev")) (service iptables-service-type (iptables-configuration (ipv4-rules (plain-file "iptables.rules" "*filter :INPUT DROP :FORWARD ACCEPT :OUTPUT ACCEPT -A INPUT -m conntrack --ctstate ESTABLISHED,RELATED -j ACCEPT -A INPUT -j REJECT --reject-with icmp-port-unreachable -A FORWARD -m state --state INVALID -j DROP -A OUTPUT -m state --state INVALID -j DROP -A OUTPUT -o lo -j ACCEPT -A OUTPUT -o tun+ -j ACCEPT -A OUTPUT -m owner --gid-owner openvpn -j ACCEPT ;-t nat -A OUTPUT -p tcp -m owner --uid-owner berkeley -m tcp -j REDIRECT --to-ports 9040 ;-t nat -A OUTPUT -p udp -m owner --uid-owner berkeley -m udp --dport 53 -j REDIRECT --to-ports 53 ;-t filter -A OUTPUT -p tcp -m owner --uid-owner berkeley -m tcp --dport 9040 -j ACCEPT ;-t filter -A OUTPUT -p udp -m owner --uid-owner berkeley -m udp --dport 53 -j ACCEPT ;-t filter -A OUTPUT -m owner --uid-owner berkeley -j DROP COMMIT ")) (ipv6-rules (plain-file "ip6tables.rules" "*filter :INPUT DROP :FORWARD DROP :OUTPUT DROP -A INPUT -m conntrack --ctstate ESTABLISHED,RELATED -j ACCEPT -A INPUT -j REJECT --reject-with icmp6-port-unreachable COMMIT ")))) (service tor-service-type (tor-configuration (config-file (plain-file "tor-config" "HttpTunnelPort 9050" ; "VirtualAddrNetwork 10.192.0.0/10 ; AutomapHostsOnResolve 1 ; TransPort 9040 ; DNSPort 53 ; SOCKSPort 0 ; ORPort 443 ; BridgeRelay 1 ; ExitRelay 0" )))) (service libvirt-service-type (libvirt-configuration (unix-sock-group "libvirt") (tls-port "16555"))) (service zram-device-service-type (zram-device-configuration (size (* 2 (expt 2 30))) (compression-algorithm 'zstd) (priority 100))) (set-xorg-configuration (xorg-configuration (keyboard-layout keyboard-layout)))) %desktop-services)) (bootloader (bootloader-configuration (bootloader grub-bootloader) (targets (list "/dev/nvme0n1")) (keyboard-layout keyboard-layout))) (swap-devices (list (swap-space (priority 50) (target (uuid "85b7b3d8-657a-443c-b010-52d224bc4483"))))) ;; The list of file systems that get "mounted". The unique ;; file system identifiers there ("UUIDs") can be obtained ;; by running 'blkid' in a terminal. (file-systems (cons* (file-system (mount-point "/boot/efi") (device (uuid "02E2-0AB2" 'fat32)) (type "vfat")) (file-system (mount-point "/") (device (uuid "38467002-a282-4387-8319-cff6d93cd23b" 'ext4)) (type "ext4")) (file-system (mount-point "/files") (device (uuid "7b2cbf88-bc71-49ad-b2fa-a4bbdb71f886" 'ext4)) (type "ext4")) (file-system (mount-point "/virt") (device (uuid "9d009d01-d635-4d56-987a-ffc2699da9fb" 'ext4)) (type "ext4")) %base-file-systems)))