From 541924288293c1c37ad8b3ed2d7ba58046c6d85b Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Sat, 11 Sep 2021 01:34:52 -0500
Subject: [PATCH] changes

---
 dot_config/i3/private_config |  1 +
 dot_config/nvim/init.vim     | 12 +++++++++---
 dot_config/picom/.keep       |  0
 dot_config/picom/picom.conf  |  5 +++++
 dot_zprofile                 |  9 ++++-----
 5 files changed, 19 insertions(+), 8 deletions(-)
 create mode 100644 dot_config/picom/.keep
 create mode 100644 dot_config/picom/picom.conf

diff --git a/dot_config/i3/private_config b/dot_config/i3/private_config
index bbe885f..3479b2d 100644
--- a/dot_config/i3/private_config
+++ b/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.
diff --git a/dot_config/nvim/init.vim b/dot_config/nvim/init.vim
index 41017c1..2dba8df 100644
--- a/dot_config/nvim/init.vim
+++ b/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
 
diff --git a/dot_config/picom/.keep b/dot_config/picom/.keep
new file mode 100644
index 0000000..e69de29
diff --git a/dot_config/picom/picom.conf b/dot_config/picom/picom.conf
new file mode 100644
index 0000000..4ddc6c4
--- /dev/null
+++ b/dot_config/picom/picom.conf
@@ -0,0 +1,5 @@
+opacity-rule = [
+  "90:class_g = 'alacritty' && focused",
+  "80:class_g = 'alacritty' && !focused"
+];
+
diff --git a/dot_zprofile b/dot_zprofile
index e2c9d2a..b316dc6 100644
--- a/dot_zprofile
+++ b/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