changes

dot_config/i3/private_config

@@ -39,6 +39,7 @@ bindsym $mod+Ctrl+less move workspace to output left
 # xss-lock grabs a logind suspend inhibit lock and will use i3lock to lock the
 # screen before suspend. Use loginctl lock-session to lock your screen.
 exec --no-startup-id xss-lock --transfer-sleep-lock -- i3lock --nofork
+exec --no-startup-id picom
 
 # NetworkManager is the most popular way to manage wireless networks on Linux,
 # and nm-applet is a desktop environment-independent system tray GUI for it.

dot_config/nvim/init.vim

@@ -1,7 +1,7 @@
 call plug#begin(stdpath('data') . '/plugged')
 
-" Plug 'vim-airline/vim-airline'
-" exe 'source' (stdpath('config') . '/airline.vim')
+Plug 'vim-airline/vim-airline'
+exe 'source' (stdpath('config') . '/airline.vim')
 
 Plug 'neoclide/coc.nvim', {'branch': 'release'}
 exe 'source' (stdpath('config') . '/coc.vim')
@@ -14,8 +14,13 @@ exe 'source' (stdpath('config') . '/nerdtree.vim')
 let g:ctrlp_user_command = 'rg %s --files --color=never --glob ""'
 
 Plug 'LnL7/vim-nix'
+Plug 'ashinkarov/nvim-agda'
+
+Plug 'prettier/vim-prettier', { 'do': 'yarn install' }
+Plug 'evanleck/vim-svelte', {'branch': 'main'}
 
 Plug 'FStarLang/VimFStar', {'for': 'fstar'}
+Plug 'editorconfig/editorconfig-vim'
 
 " Plug 'jiangmiao/auto-pairs', { 'for': 'rust' }
 " Plug 'kovisoft/slimv', { 'for': 'lisp' }
@@ -76,7 +81,8 @@ filetype plugin indent on
 " Binds
 
 let mapleader = ";"
-nnoremap ; :
+let maplocalleader = ";"
+" nnoremap ; :
 
 nnoremap T :vsplit<BAR>vertical resize 54<BAR>terminal<CR>i
 

dot_config/picom/picom.conf

@@ -0,0 +1,5 @@
+opacity-rule = [
+  "90:class_g = 'alacritty' && focused",
+  "80:class_g = 'alacritty' && !focused"
+];
+

dot_zprofile

@@ -1,13 +1,12 @@
-
 export PATH="$HOME/.cargo/bin:/usr/local/go/bin:$PATH"
 export TERMINAL="/usr/bin/alacritty"
 export EDITOR="/usr/bin/nvim"
 export CUPS_SERVER="192.168.0.171:631"
 
-# if [[ -z $DISPLAY ]] && [[ $(tty) = /dev/tty1 ]]
-# then
-#     exec startx;
-# fi
+if [[ -z $DISPLAY ]] && [[ $(tty) = /dev/tty1 ]]
+then
+    exec startx;
+fi
 
 # if [[ -z $DISPLAY ]] && [[ $(tty) = /dev/tty1 ]]
 # then