Browse Source

graphical: vim detectlang and removal of vscodium for lean

master
parent
commit
17aacc4323
Signed by: govanify GPG Key ID: DE62E1E2A6145556
4 changed files with 15 additions and 28 deletions
  1. +8
    -3
      TODO.md
  2. +4
    -23
      common/graphical.nix
  3. +2
    -1
      common/mail.nix
  4. +1
    -1
      pkgs/vim.nix

+ 8
- 3
TODO.md View File

@ -1,9 +1,14 @@
TODO list sorted by priority:
* security: tor profiles and fix iana
* security: security hardening through sandboxing
* workflow: set up patchouli to have regular and automated backups
* security: security hardening through sandboxing
* security: tor profiles and fix iana
* workflow: sync music & other with ceph
* xdg: nixpkgs PR, check if xdg patches actually work
* locale: sync mozc/ibus settings, saner defaults, make panel work in wayland
* workflow: discrepancy for cursor between x11 and non x11 apps
* workflow: fix GTK theme
* workflow: fix re-scaling after swaylock
* workflow: add smooth transition from plymouth to sway [1]
* mail: switch to dovecot to add sieve, mod config to remove folders
[1]: https://lists.freedesktop.org/archives/plymouth/2009-June/000126.html

+ 4
- 23
common/graphical.nix View File

@ -9,7 +9,7 @@ let
in
{
imports = [ ./../pkgs/termite.nix ];
services.mingetty.autologinUser = "govanify";
services.getty.autologinUser = "govanify";
services.redshift = {
enable = true;
package = pkgs.redshift-wlr;
@ -42,8 +42,7 @@ in
# multimedia
mpv imv
# reading
#calibre
okular kcc
calibre okular kcc
# web browsers
# standard firefox is used for basically everything and is "impossible" to
# fingerprint with my configuration, but i do login on websites sometimes.
@ -51,9 +50,8 @@ in
# fuck up tracking when need happens.
firefox-wayland
#tor-browser-bundle-bin
#firefox-bin
# art
blender krita #kdenlive
blender krita kdenlive
ardour
# stem
#freecad
@ -61,7 +59,6 @@ in
# sourcetrail
# recording/streaming
obs-studio obs-wlrobs obs-v4l2sink
jdk
android-studio
(
@ -85,25 +82,9 @@ in
# themes
breeze-gtk breeze-qt5 breeze-icons
# math stuff
coq
coq lean elan
# ELECTRON BELOW
# you should try to run with GDK_BACKEND=x11
# this is good for lean
vscodium lean elan
(
pkgs.writeTextFile {
name = "vscodium-x11";
destination = "/bin/vscodium-x11";
executable = true;
text = ''
#! ${pkgs.bash}/bin/bash
# Electron sucks
GDK_BACKEND=x11
# then start the launcher
exec codium
'';
}
)
# matrix
element-desktop
(

+ 2
- 1
common/mail.nix View File

@ -1,7 +1,8 @@
{ config, pkgs, lib, ... }: {
# basic set of tools & ssh
environment.systemPackages = with pkgs; [
neomutt msmtp isync notmuch abook lynx notmuch-mutt procps
neomutt msmtp isync abook lynx procps
notmuch notmuch-mutt
];
# XDG_CONFIG_HOME does not get parsed correctly so we do it manually

+ 1
- 1
pkgs/vim.nix View File

@ -36,7 +36,7 @@ in
# sessions
vim-misc workspace
# spell check
vim-grammarous #vim-DetectSpellLang
vim-grammarous vim-DetectSpellLang
];
extraConfig = ''
" This should be enabled by default

Loading…
Cancel
Save