Browse Source

Merge branch 'master' of code.govanify.com:govanify/navi

master
parent
commit
b553cf7c2e
Signed by: govanify GPG Key ID: DE62E1E2A6145556
2 changed files with 4 additions and 2 deletions
  1. +3
    -1
      common/graphical.nix
  2. +1
    -1
      pkgs/vim.nix

+ 3
- 1
common/graphical.nix View File

@@ -61,10 +61,12 @@
#ghidra in the future when it is actually updated
# themes
breeze-gtk breeze-qt5 breeze-icons
# math stuff
coq
# ELECTRON BELOW
# you should try to run with GDK_BACKEND=x11
# this is good for lean
vscodium lean elan
vscodium lean elan
(
pkgs.writeTextFile {
name = "vscodium-x11";


+ 1
- 1
pkgs/vim.nix View File

@@ -11,7 +11,7 @@ let
nerdcommenter easymotion vim-obsession #vim-prosession
syntastic ultisnips vim-snippets deoplete-nvim
deoplete-rust deoplete-clang deoplete-jedi vim-nix
rust-vim meson Jenkinsfile-vim-syntax ];
rust-vim meson Jenkinsfile-vim-syntax Coqtail ];
extraConfig = ''
" This should be enabled by default
set number


Loading…
Cancel
Save