Compare commits

...

52 Commits

Author SHA1 Message Date
Danila Fedorin
255aec5a3c Update for Neovim 0.10.0
Signed-off-by: Danila Fedorin <daniel.fedorin@hpe.com>
2024-05-19 22:32:37 -07:00
Danila Fedorin
55e6c796b7 Adjust tmux to work well with Neovim 0.10 in Alacritty
Signed-off-by: Danila Fedorin <daniel.fedorin@hpe.com>
2024-05-19 22:32:37 -07:00
e6eb69e31b Merge remote-tracking branch 'origin/master' 2024-02-10 14:33:40 -08:00
4bf96b1296 Add more vim config changes
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-02-10 14:32:07 -08:00
Danila Fedorin
3e6a62b798 Configure CLS and chplcheck
Signed-off-by: Danila Fedorin <daniel.fedorin@hpe.com>
2024-02-10 14:30:42 -08:00
Danila Fedorin
7747bb47e2 Pull some changes from the work machine 2023-08-30 09:11:18 -07:00
Danila Fedorin
14e15062ac Add some Chapel-specific changes 2023-02-14 09:23:00 -08:00
934920a052 Reduce the gaps. I really don't need that much space. 2022-06-03 15:53:46 -07:00
771f79cde4 Comment out deprecated property 2022-06-03 15:49:07 -07:00
edc3ccce17 Update snippet lists 2022-06-03 15:48:35 -07:00
cedb3a802a Update vim plug 2022-06-03 15:48:13 -07:00
6c8524d0e7 Update configuration to use neovim's internal language server support 2022-06-03 15:47:59 -07:00
b356636de7 Add more languages and plugins 2021-08-16 13:20:03 -07:00
cf230f8463 Add border colors and switch them on launch. 2021-05-26 18:38:45 -07:00
4f0cd11643 Merge branch 'master' of https://dev.danilafe.com/DanilaFe/dotfiles 2021-04-06 23:16:50 -07:00
740a680f58 Remove extraneous wa in script. 2021-04-06 23:11:48 -07:00
852f588bd3 Add weather module (not part of dotfiles) 2021-04-06 23:10:45 -07:00
933542d9d7 Add background image loading code to i3. 2021-04-06 23:10:14 -07:00
ec1fc6e932 Add background images and scripts. 2021-04-06 23:09:06 -07:00
8a628c0aeb Change font in Alacritty 2021-04-06 23:07:13 -07:00
af4450ae69 Update Neovim dotfile. 2021-04-06 23:06:59 -07:00
da07321ca1 Update vim-plug version. 2021-04-06 23:06:07 -07:00
e42f384432 Add updated settings. 2020-09-04 23:01:51 -07:00
aa132119c7 Add background image to configuration. 2020-07-13 21:43:26 -07:00
dbd151e0d6 Merge branch 'master' of https://dev.danilafe.com/DanilaFe/dotfiles 2020-06-01 15:21:32 -07:00
94afdd3eae Update dotfiles with local settings. 2020-06-01 15:20:27 -07:00
6d20f5dae5 Fix dotfiles with new DPI settings. 2020-06-01 15:18:36 -07:00
7282a1aa83 Merge branch 'master' of https://dev.danilafe.com/DanilaFe/dotfiles 2020-05-06 00:42:41 -07:00
68252cdab9 Add new Markdown plugins 2020-05-06 00:41:32 -07:00
027413e926 Merge branch 'master' of https://dev.danilafe.com/DanilaFe/dotfiles 2020-05-06 00:39:17 -07:00
989af2f685 Add snippets to repo 2020-05-06 00:38:40 -07:00
30a7caa7b2 Add UltiSnips. 2020-05-06 00:34:55 -07:00
88fb180f44 Update vim configuration 2019-08-13 18:59:33 -07:00
10039a83e1 Additional tweaks to configuration 2019-07-27 22:08:28 -07:00
5430ebf93a Hopefully configure polybar to be less dependent on pixel sizes 2019-07-27 21:54:17 -07:00
2eb62fb72b Add python language server and use the LanguageClient shortcuts 2019-07-27 21:53:56 -07:00
6541f6bb4b Try out the ligature vim plugin. 2019-07-07 14:52:17 -07:00
65a870fe98 Fix deprecated alacritty option 2019-06-24 20:15:27 -07:00
20f8e92ab4 Delete CoC settings from non-CoC branch. 2019-06-20 20:57:22 -07:00
3727a28e26 Add elm language server. 2019-06-20 20:14:20 -07:00
223a68e639 Configure CoC. It doesn't work as well as LSP by itself, though. 2019-05-04 16:43:15 -07:00
96b6276cc7 Add TMUX config 2019-05-02 20:41:12 -07:00
3ec6b26d02 Merge branch 'master' of https://dev.danilafe.com/DanilaFe/dotfiles 2019-04-22 22:12:46 -07:00
15cceeb7e8 Update vim config. 2019-04-22 22:11:05 -07:00
62c67f69c6 Add missing polybar script 2019-03-14 17:12:14 -07:00
2379dc4bfd Remove macOS-specific decorations 2019-03-13 19:19:14 -07:00
10d70e2031 Fix compton path and disable polybar shadow 2019-03-13 17:46:25 -07:00
02a1f95e8d Add compton configuration 2019-03-13 17:38:55 -07:00
19f2bc6a56 Make language client settings span more than one line. 2019-03-13 17:26:17 -07:00
2ee7f0ee1c Add crystal and coq autocmd's. 2019-03-13 17:25:58 -07:00
5aa980a70f Add assembly plugin. 2019-03-13 17:25:06 -07:00
e1aacaaebb Update alacritty settings. 2019-03-13 17:23:55 -07:00
17 changed files with 1064 additions and 232 deletions

View File

@@ -13,21 +13,19 @@ env:
# `infocmp xterm-256color`. # `infocmp xterm-256color`.
TERM: xterm-256color TERM: xterm-256color
# Window dimensions in character columns and lines window:
# (changes require restart) # Window dimensions in character columns and lines
dimensions: # (changes require restart)
dimensions:
columns: 80 columns: 80
lines: 24 lines: 24
# Adds this many blank pixels of padding around the window # Adds this many blank pixels of padding around the window
# Units are physical pixels; this is not DPI aware. # Units are physical pixels; this is not DPI aware.
# (change requires restart) # (change requires restart)
padding: padding:
x: 10 x: 10
y: 10 y: 20
# Display tabs using this many cells (changes require restart)
tabspaces: 8
# When true, bold text is drawn using the bright variant of colors. # When true, bold text is drawn using the bright variant of colors.
draw_bold_text_with_bright_colors: true draw_bold_text_with_bright_colors: true
@@ -53,20 +51,20 @@ font:
# style: Italic # style: Italic
# Point size of the font # Point size of the font
size: 10.0 size: 12.0
# Offset is the extra space around each character. offset.y can be thought of # Offset is the extra space around each character. offset.y can be thought of
# as modifying the linespacing, and offset.x as modifying the letter spacing. # as modifying the linespacing, and offset.x as modifying the letter spacing.
offset: offset:
x: 0.0 x: 0
y: 0.0 y: 0
# Glyph offset determines the locations of the glyphs within their cells with # Glyph offset determines the locations of the glyphs within their cells with
# the default being at the bottom. Increase the x offset to move the glyph to # the default being at the bottom. Increase the x offset to move the glyph to
# the right, increase the y offset to move the glyph upward. # the right, increase the y offset to move the glyph upward.
glyph_offset: glyph_offset:
x: 0.0 x: 0
y: 0.0 y: 0
# OS X only: use thin stroke font rendering. Thin strokes are suitable # OS X only: use thin stroke font rendering. Thin strokes are suitable
# for retina displays, but for non-retina you probably want this set to # for retina displays, but for non-retina you probably want this set to
@@ -74,11 +72,7 @@ font:
use_thin_strokes: true use_thin_strokes: true
# Should display the render timer # Should display the render timer
render_timer: false # render_timer: false
# Use custom cursor colors. If true, display the cursor in the cursor.foreground
# and cursor.background colors, otherwise invert the colors of the cursor.
custom_cursor_colors: false
# Colors (Pencil Dark) # Colors (Pencil Dark)
# colors: # colors:
@@ -107,6 +101,7 @@ custom_cursor_colors: false
# cyan: '0x4fb8cc' # cyan: '0x4fb8cc'
# white: '0xf1f1f1' # white: '0xf1f1f1'
# Colors: Nord
colors: colors:
primary: primary:
background: '0x2E3440' background: '0x2E3440'
@@ -184,12 +179,12 @@ colors:
# #
# To completely disable the visual bell, set its duration to 0. # To completely disable the visual bell, set its duration to 0.
# #
visual_bell: bell:
animation: EaseOutExpo animation: EaseOutExpo
duration: 0 duration: 0
# Background opacity # Background opacity
background_opacity: 1.0 # background_opacity: 1.0
# Mouse bindings # Mouse bindings
# #
@@ -212,19 +207,19 @@ mouse_bindings:
mouse: mouse:
double_click: { threshold: 300 } double_click: { threshold: 300 }
triple_click: { threshold: 300 } triple_click: { threshold: 300 }
hide_when_typing: false
selection: selection:
semantic_escape_chars: ",│`|:\"' ()[]{}<>" semantic_escape_chars: ",│`|:\"' ()[]{}<>"
hide_cursor_when_typing: false cursor:
# Style of the cursor
# Style of the cursor #
# # Values for 'cursor_style':
# Values for 'cursor_style': # - Block
# - Block # - Underline
# - Underline # - Beam
# - Beam style: Block
cursor_style: Block
# Live config reload (changes require restart) # Live config reload (changes require restart)
live_config_reload: true live_config_reload: true

View File

@@ -0,0 +1,234 @@
# Thank you code_nomad: http://9m.no/ꪯ鵞
# and Arch Wiki contributors: https://wiki.archlinux.org/index.php/Compton
#################################
#
# Backend
#
#################################
# Backend to use: "xrender" or "glx".
# GLX backend is typically much faster but depends on a sane driver.
backend = "glx";
#################################
#
# GLX backend
#
#################################
glx-no-stencil = true;
# GLX backend: Copy unmodified regions from front buffer instead of redrawing them all.
# My tests with nvidia-drivers show a 10% decrease in performance when the whole screen is modified,
# but a 20% increase when only 1/4 is.
# My tests on nouveau show terrible slowdown.
# Useful with --glx-swap-method, as well.
glx-copy-from-front = false;
# GLX backend: Use MESA_copy_sub_buffer to do partial screen update.
# My tests on nouveau shows a 200% performance boost when only 1/4 of the screen is updated.
# May break VSync and is not available on some drivers.
# Overrides --glx-copy-from-front.
# glx-use-copysubbuffermesa = true;
# GLX backend: Avoid rebinding pixmap on window damage.
# Probably could improve performance on rapid window content changes, but is known to break things on some drivers (LLVMpipe).
# Recommended if it works.
# glx-no-rebind-pixmap = true;
# GLX backend: GLX buffer swap method we assume.
# Could be undefined (0), copy (1), exchange (2), 3-6, or buffer-age (-1).
# undefined is the slowest and the safest, and the default value.
# copy is fastest, but may fail on some drivers,
# 2-6 are gradually slower but safer (6 is still faster than 0).
# Usually, double buffer means 2, triple buffer means 3.
# buffer-age means auto-detect using GLX_EXT_buffer_age, supported by some drivers.
# Useless with --glx-use-copysubbuffermesa.
# Partially breaks --resize-damage.
# Defaults to undefined.
glx-swap-method = "undefined";
#################################
#
# Shadows
#
#################################
# Enabled client-side shadows on windows.
shadow = true;
# The blur radius for shadows. (default 12)
shadow-radius = 5;
# The left offset for shadows. (default -15)
shadow-offset-x = -5;
# The top offset for shadows. (default -15)
shadow-offset-y = -5;
# The translucency for shadows. (default .75)
shadow-opacity = 0.5;
# Set if you want different colour shadows
# shadow-red = 0.0;
# shadow-green = 0.0;
# shadow-blue = 0.0;
# The shadow exclude options are helpful if you have shadows enabled. Due to the way compton draws its shadows, certain applications will have visual glitches
# (most applications are fine, only apps that do weird things with xshapes or argb are affected).
# This list includes all the affected apps I found in my testing. The "! name~=''" part excludes shadows on any "Unknown" windows, this prevents a visual glitch with the XFWM alt tab switcher.
shadow-exclude = [
"! name~=''",
"name = 'Notification'",
"name = 'Plank'",
"name = 'Docky'",
"name = 'Kupfer'",
"name = 'xfce4-notifyd'",
"name *= 'VLC'",
"name *= 'compton'",
"name *= 'Chromium'",
"name *= 'Chrome'",
"name *= 'polybar'",
"class_g = 'Firefox' && argb",
"class_g = 'Conky'",
"class_g = 'Kupfer'",
"class_g = 'Synapse'",
"class_g ?= 'Notify-osd'",
"class_g ?= 'Cairo-dock'",
"class_g ?= 'Xfce4-notifyd'",
"class_g ?= 'Xfce4-power-manager'",
"_GTK_FRAME_EXTENTS@:c",
"_NET_WM_STATE@:32a *= '_NET_WM_STATE_HIDDEN'"
];
# Avoid drawing shadow on all shaped windows (see also: --detect-rounded-corners)
shadow-ignore-shaped = false;
#################################
#
# Opacity
#
#################################
inactive-opacity = 1;
active-opacity = 1;
frame-opacity = 1;
inactive-opacity-override = false;
# Dim inactive windows. (0.0 - 1.0)
# inactive-dim = 0.2;
# Do not let dimness adjust based on window opacity.
# inactive-dim-fixed = true;
# Blur background of transparent windows. Bad performance with X Render backend. GLX backend is preferred.
# blur-background = true;
# Blur background of opaque windows with transparent frames as well.
# blur-background-frame = true;
# Do not let blur radius adjust based on window opacity.
blur-background-fixed = false;
blur-background-exclude = [
"window_type = 'dock'",
"window_type = 'desktop'"
];
#################################
#
# Fading
#
#################################
# Fade windows during opacity changes.
fading = true;
# The time between steps in a fade in milliseconds. (default 10).
fade-delta = 4;
# Opacity change between steps while fading in. (default 0.028).
fade-in-step = 0.03;
# Opacity change between steps while fading out. (default 0.03).
fade-out-step = 0.03;
# Fade windows in/out when opening/closing
# no-fading-openclose = true;
# Specify a list of conditions of windows that should not be faded.
fade-exclude = [ ];
#################################
#
# Other
#
#################################
# Try to detect WM windows and mark them as active.
mark-wmwin-focused = true;
# Mark all non-WM but override-redirect windows active (e.g. menus).
mark-ovredir-focused = true;
# Use EWMH _NET_WM_ACTIVE_WINDOW to determine which window is focused instead of using FocusIn/Out events.
# Usually more reliable but depends on a EWMH-compliant WM.
use-ewmh-active-win = true;
# Detect rounded corners and treat them as rectangular when --shadow-ignore-shaped is on.
detect-rounded-corners = true;
# Detect _NET_WM_OPACITY on client windows, useful for window managers not passing _NET_WM_OPACITY of client windows to frame windows.
# This prevents opacity being ignored for some apps.
# For example without this enabled my xfce4-notifyd is 100% opacity no matter what.
detect-client-opacity = true;
# Specify refresh rate of the screen.
# If not specified or 0, compton will try detecting this with X RandR extension.
refresh-rate = 0;
# Set VSync method. VSync methods currently available:
# none: No VSync
# drm: VSync with DRM_IOCTL_WAIT_VBLANK. May only work on some drivers.
# opengl: Try to VSync with SGI_video_sync OpenGL extension. Only work on some drivers.
# opengl-oml: Try to VSync with OML_sync_control OpenGL extension. Only work on some drivers.
# opengl-swc: Try to VSync with SGI_swap_control OpenGL extension. Only work on some drivers. Works only with GLX backend. Known to be most effective on many drivers. Does not actually control paint timing, only buffer swap is affected, so it doesnt have the effect of --sw-opti unlike other methods. Experimental.
# (Note some VSync methods may not be enabled at compile time.)
vsync = "opengl";
# Enable DBE painting mode, intended to use with VSync to (hopefully) eliminate tearing.
# Reported to have no effect, though.
dbe = false;
# Limit compton to repaint at most once every 1 / refresh_rate second to boost performance.
# This should not be used with --vsync drm/opengl/opengl-oml as they essentially does --sw-opti's job already,
# unless you wish to specify a lower refresh rate than the actual value.
#sw-opti = true;
# Unredirect all windows if a full-screen opaque window is detected, to maximize performance for full-screen windows, like games.
# Known to cause flickering when redirecting/unredirecting windows.
unredir-if-possible = false;
# Specify a list of conditions of windows that should always be considered focused.
focus-exclude = [ ];
# Use WM_TRANSIENT_FOR to group windows, and consider windows in the same group focused at the same time.
detect-transient = true;
# Use WM_CLIENT_LEADER to group windows, and consider windows in the same group focused at the same time.
# WM_TRANSIENT_FOR has higher priority if --detect-transient is enabled, too.
detect-client-leader = true;
#################################
#
# Window type settings
#
#################################
wintypes:
{
tooltip =
{
# fade: Fade the particular type of windows.
fade = true;
# shadow: Give those windows shadow
shadow = false;
# opacity: Default opacity for the type of windows.
opacity = 0.85;
# focus: Whether to always consider windows of this type focused.
focus = true;
};
};
######################
#
# XSync
# See: https://github.com/yshui/compton/commit/b18d46bcbdc35a3b5620d817dd46fbc76485c20d
#
######################
# Use X Sync fence to sync clients' draw calls. Needed on nvidia-drivers with GLX backend for some users.
xrender-sync-fence = true;

View File

@@ -30,7 +30,7 @@ font pango:Source Code Pro 8
floating_modifier $mod floating_modifier $mod
# start a terminal # start a terminal
bindsym $mod+Return exec i3-sensible-terminal bindsym $mod+Return exec alacritty
# kill focused window # kill focused window
bindsym $mod+Shift+q kill bindsym $mod+Shift+q kill
@@ -134,7 +134,8 @@ bindsym $mod+Shift+c reload
# restart i3 inplace (preserves your layout/session, can be used to upgrade i3) # restart i3 inplace (preserves your layout/session, can be used to upgrade i3)
bindsym $mod+Shift+r restart bindsym $mod+Shift+r restart
# exit i3 (logs you out of your X session) # exit i3 (logs you out of your X session)
bindsym $mod+Shift+e exec "i3-nagbar -t warning -m 'You pressed the exit shortcut. Do you really want to exit i3? This will end your X session.' -b 'Yes, exit i3' 'i3-msg exit'" # bindsym $mod+Shift+e exec "i3-nagbar -t warning -m 'You pressed the exit shortcut. Do you really want to exit i3? This will end your X session.' -b 'Yes, exit i3' 'i3-msg exit'"
bindsym $mod+Shift+e exec i3-msg exit
# resize window (you can also use the mouse for that) # resize window (you can also use the mouse for that)
mode "resize" { mode "resize" {
@@ -170,13 +171,16 @@ bindsym $mod+r mode "resize"
# mode hide # mode hide
# } # }
# Polybar # Polybar and Wallpaper
exec_always --no-startup-id ~/.polybar.sh exec_always --no-startup-id ~/.polybar.sh
# Compton
exec_always --no-startup-id compton exec_always --no-startup-id compton
# Autorandr
# exec_always autorandr --change
# Remove window borders # Remove window borders
for_window [class="^.*"] border pixel 0 for_window [class="^.*"] border pixel 2
# Set up gaps # Set up gaps
gaps inner 20 gaps inner 5
# Browser shortcut # Browser shortcut
bindsym $mod+Shift+b exec firefox bindsym $mod+Shift+b exec firefox
# Compton shortcut # Compton shortcut
@@ -185,3 +189,9 @@ bindsym $mod+Shift+p exec compton
bindsym $mod+Shift+u exec ~/.software/abacus-fx/bin/fx bindsym $mod+Shift+u exec ~/.software/abacus-fx/bin/fx
# Screenshot # Screenshot
bindsym $mod+Shift+s exec scrot bindsym $mod+Shift+s exec scrot
bindsym $mod+Shift+f exec scrot -s
bindsym $mod+Shift+o exec alacritty --command ~/projects/ppl-cli/script/open_float.sh
client.focused #428df5 #428df5 #428df5 #428df5 #428df5
client.focused_inactive #2e3440 #2e3440 #2e3440 #2e3440 #2e3440
client.unfocused #2e3440 #2e3440 #2e3440 #2e3440 #2e3440

BIN
i3/background/428df5.jpg Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 652 KiB

BIN
i3/background/436394.jpg Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 851 KiB

BIN
i3/background/82a86b.jpg Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 944 KiB

9
i3/background/background.sh Executable file
View File

@@ -0,0 +1,9 @@
export BG_PATH=~/background
cd $BG_PATH
FILENAME=$(basename $(ls *.jpg | sort -R | head -n 1) .jpg)
SUB="s/^primary = #[a-z0-9]*/primary = #${FILENAME}/"
echo $FILENAME > color
sed -i "$SUB" ~/.config/polybar/config
SUB="s/^client.focused .*/client.focused #${FILENAME} #${FILENAME} #${FILENAME} #${FILENAME} #${FILENAME}/"
sed -i "$SUB" ~/.config/i3/config
${0%/*}/refresh.sh

BIN
i3/background/cf5fb4.jpg Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 1.2 MiB

1
i3/background/color Normal file
View File

@@ -0,0 +1 @@
436394

2
i3/background/refresh.sh Executable file
View File

@@ -0,0 +1,2 @@
PT=${BG_PATH:-~/background}
cat $PT/color | xargs -I {} feh --bg-scale "$PT/{}.jpg"

View File

@@ -0,0 +1,37 @@
snippet md "map with do" w
map do |${1:e}|
$2
end
$0
endsnippet
snippet m{ "map with {" w
map({ |${1:e}| $2 })
endsnippet
snippet ed "each with do" w
each do |${1:e}|
$2
end
$0
endsnippet
snippet e{ "each with {" w
each({ |${1:e}| $2 })
endsnippet
snippet b "apply block" w
${1:min_by}({|${2:e}| $3 })
endsnippet
snippet set "create set" w
Set(${1:Int32}).new
endsnippet
snippet ha "create hash" w
Hash($1).new
endsnippet
snippet in "includes?" w
includes?($1)
endsnippet

View File

@@ -0,0 +1,69 @@
snippet eq
\begin{equation*}
$1
\end{equation*}
endsnippet
snippet al
\begin{aligned}
$1
\end{aligned}
endsnippet
snippet fr
\frac{$1}{$2}
endsnippet
snippet sec
\section*{$1}
endsnippet
snippet ssec
\subsection*{$1}
endsnippet
snippet ol
\begin{itemize}
$1
\end{itemize}
endsnippet
snippet alist
\begin{enumerate}[label=\alph*)]
$1
\end{enumerate}
endsnippet
snippet li
\item
endsnippet
snippet sum
\sum_{$1}^{$2} $3
endsnippet
snippet rel
\text{Rel}($1)
endsnippet
snippet a
\alpha
endsnippet
snippet e
\epsilon
endsnippet
snippet hs
\begin{lstlisting}[language=Haskell]
$1
\end{lstlisting}
endsnippet
snippet ns
\needscite{}
endsnippet
snippet todo
\TODO{$1}
endsnippet

File diff suppressed because it is too large Load Diff

View File

@@ -1,38 +1,188 @@
call plug#begin('~/.config/nvim/plugged') call plug#begin('~/.config/nvim/plugged')
Plug 'roxma/nvim-yarp' " Language Tools
Plug 'ncm2/ncm2' Plug 'hrsh7th/nvim-compe'
Plug 'autozimu/LanguageClient-neovim', {'branch': 'next', 'do': 'bash install.sh' } Plug 'neovim/nvim-lspconfig'
Plug 'junegunn/fzf', { 'dir': '~/.fzf', 'do': './install --bin' }
Plug 'junegunn/fzf.vim'
Plug 'SirVer/ultisnips'
Plug 'luochen1990/rainbow'
" Plug 'enomsg/vim-haskellConcealPlus' " This one isn't always good.
" Languages
Plug 'evanleck/vim-svelte'
Plug 'LnL7/vim-nix'
Plug 'whonore/Coqtail'
Plug 'wlangstroth/vim-racket'
Plug 'lervag/vimtex'
Plug 'idris-hackers/idris-vim'
Plug 'rhysd/vim-crystal' Plug 'rhysd/vim-crystal'
Plug 'elmcast/elm-vim' Plug 'elmcast/elm-vim'
Plug 'ap/vim-css-color' Plug 'ap/vim-css-color'
Plug 'vim-scripts/avrasm.vim'
Plug 'idris-hackers/idris-vim'
Plug 'elixir-editors/vim-elixir'
Plug 'guersam/vim-j'
Plug 'wlangstroth/vim-racket'
Plug 'derekelkins/agda-vim'
Plug 'ftorres16/spice.vim'
Plug 'vmware/differential-datalog', {'rtp': 'tools/vim'}
Plug 'FStarLang/VimFStar', {'for': 'fstar'}
Plug 'purescript-contrib/purescript-vim'
" Plug '~/Documents/software/chapel/highlight/vim'
" Plug 'ashinkarov/nvim-agda'
" Themes
Plug 'arcticicestudio/nord-vim' Plug 'arcticicestudio/nord-vim'
Plug 'xuhdev/vim-latex-live-preview', { 'for': 'tex' } " Editing Tools
Plug 'junegunn/goyo.vim'
Plug 'iamcco/markdown-preview.vim' Plug 'iamcco/markdown-preview.vim'
Plug 'junegunn/limelight.vim'
Plug 'luochen1990/rainbow'
Plug 'simrat39/symbols-outline.nvim'
Plug 'folke/todo-comments.nvim'
" AI (Yes, you heard me)
Plug 'aduros/ai.vim'
Plug 'github/copilot.vim'
" Misc
Plug 'uga-rosa/utf8.nvim'
Plug 'nvim-lua/plenary.nvim'
Plug 'airblade/vim-gitgutter'
Plug 'f-person/git-blame.nvim'
Plug 'wakatime/vim-wakatime'
call plug#end() call plug#end()
set exrc " Execute local vimscripts
set shiftwidth=4 " Make indents 4 chars wide set shiftwidth=4 " Make indents 4 chars wide
set expandtab " Expand tabs into spaces set expandtab " Expand tabs into spaces
set number " Set line numbers set number " Set line numbers
set mouse=a " Allow mouse set mouse=a " Allow mouse
set signcolumn=yes " Always show extra column set signcolumn=yes " Always show extra column
set guifont=Iosevka:h35 " Use Ioeska in frontends.
set hidden
autocmd BufEnter * call ncm2#enable_for_buffer() " Enable ncm2 for all buffers autocmd ColorScheme * highlight ExtraWhitespace ctermbg=red guibg=red
set completeopt=noinsert,menuone autocmd ColorScheme * highlight Comment ctermfg=green
autocmd BufWinEnter * match ExtraWhitespace /\s\+$/ " Highlight trailing whitespace
autocmd BufRead,BufNewFile *.v set filetype=coq " Coq is not Verilog
autocmd BufNewFile,BufRead *.cir set filetype=spice " LTSpice is Spice
autocmd BufRead,BufNewFile *.dl set filetype=dl " Datalog is Datalog
autocmd FileType crystal setlocal shiftwidth=2 " Crystal likes 2-wide indent
autocmd FileType cpp setlocal shiftwidth=2 " Chapel has two-wide indents
autocmd BufRead,BufNewFile *.ast set filetype=ast " AST files are from Chapel.
autocmd VimEnter * Copilot enable
autocmd FileType crystal setlocal shiftwidth=2 " Settings for Rainbow
let g:rainbow_active = 1
let g:LanguageClient_serverCommands = { " Settings for Limelight
\ 'haskell': ['hie', '--lsp'], let g:limelight_conceal_ctermfg = 8
\ 'rust': ['rustup', 'run', 'stable', 'rls'],
\ 'c': ['clangd'], " Settings for Vim's LaTeX plugin
\ 'crystal': ['scry'], let g:tex_flavor = 'latex'
\ 'cpp': ['clangd'], let g:vimtex_quickfix_open_on_warning = 0
\ 'javascript': ['javascript-typescript-stdio'] let g:vimtex_view_general_viewer = 'okular'
\ } let g:vimtex_view_general_options = '--unique file:@pdf\#src:@line@tex'
let g:deoplete#enable_at_startup = 1
let g:LanguageClient_diagnosticsDisplay = {1: {"name": "Error","texthl": "ALEError","signText": ">>","signTexthl": "ALEErrorSign",},2: {"name": "Warning","texthl": "ALEWarning","signText": ">>","signTexthl": "ALEWarningSign",},3: {"name": "Information","texthl": "ALEInfo","signText": ">>","signTexthl": "ALEInfoSign",},4: {"name": "Hint","texthl": "ALEInfo","signText": ">>","signTexthl": "ALEInfoSign",},} " Settings for UltiSnips
let g:UltiSnipsExpandTrigger="<tab>"
let g:UltiSnipsJumpForwardTrigger="<c-k>"
let g:UltiSnipsJumpBackwardTrigger="<c-j>"
" Settings for FZF
let g:fzf_action = { 'enter': 'tab drop' }
" Settings for Neovide
let g:neovide_cursor_vfx_mode="ripple"
colorscheme nord colorscheme nord
hi Comment guifg=#A3BE8C
lua require('lspconfig').hls.setup{}
lua require('lspconfig').rls.setup{}
lua require('lspconfig').clangd.setup{}
lua require('lspconfig').tsserver.setup{}
lua require('lspconfig').elmls.setup{}
lua require('lspconfig').pylsp.setup{}
lua require('lspconfig').purescriptls.setup{}
lua require('lspconfig').pyright.setup{}
" All these language servers can be used for symbols-outline
lua require("symbols-outline").setup()
" nmap <silent>K <Plug>(lcn-menu)
nmap <silent>M <cmd>lua vim.lsp.diagnostic.show_line_diagnostics()<CR>
nmap <silent>? <cmd>lua vim.lsp.buf.hover()<CR>
nmap <silent>K <cmd>lua vim.lsp.buf.rename()<CR>
nmap <silent><space>d <cmd>lua vim.lsp.buf.definition()<CR>
nmap <silent><space>D <cmd>lua vim.lsp.buf.declaration()<CR>
nmap <silent><space>i <cmd>lua vim.lsp.buf.implementation()<CR>
nmap <silent><space>r <cmd>lua vim.lsp.buf.references()<CR>
" Ctrl-e to open file in new tab (or jump to it)
nmap <c-e> :Files<CR>
" Autocompletion
set completeopt=menuone,noselect
let g:compe = {}
let g:compe.enabled = v:true
let g:compe.source = {
\ 'path': v:true,
\ 'buffer': v:true,
\ 'nvim_lsp': v:true,
\ }
" Highlight 80th column
let &colorcolumn="80,".join(range(120,999),",")
" Racket settings
au BufReadPost *.rkt,*.rktl set filetype=racket
au filetype racket set lisp
au filetype racket set autoindent
" Coq Settings
function! g:CoqtailHighlight()
hi default link CoqtailChecked Visual
hi default link CoqtailSent PmenuSel
endfunction
lua << EOF
local lspconfig = require 'lspconfig'
local configs = require 'lspconfig.configs'
local util = require 'lspconfig.util'
local todocomments = require 'todo-comments'
todocomments.setup {
search = { command = "ag", },
}
configs.chplcheck = {
default_config = {
cmd = {"chplcheck", "--lsp", "--enable-rule", "UnusedFormal", "--enable-rule", "UnusedLoopIndex"},
filetypes = {'chpl'},
autostart = true,
single_file_support = true,
root_dir = util.find_git_ancestor,
settings = {},
},
}
configs.chpllsp = {
default_config = {
cmd = {"/Users/daniel.fedorin/Documents/software/chapel/tools/chpl-language-server/chpl-language-server", "--resolver"},
filetypes = {'chpl'},
autostart = true,
single_file_support = true,
root_dir = util.find_git_ancestor,
settings = {},
},
}
lspconfig.chplcheck.setup{}
lspconfig.chpllsp.setup{}
vim.cmd("autocmd BufRead,BufNewFile *.chpl set filetype=chpl")
vim.lsp.inlay_hint.enable(true, nil)
EOF

View File

@@ -14,42 +14,48 @@ background-alt = #3b4252
;foreground = ${xrdb:color7:#222} ;foreground = ${xrdb:color7:#222}
foreground = #d8dee9 foreground = #d8dee9
foreground-alt = #e5e9f0 foreground-alt = #e5e9f0
primary = #b48ead primary = #cf5fb4
secondary = #a3be8c secondary = #a3be8c
alert = #bf616a alert = #bf616a
[bar/example] [bar/example]
dpi-x = 220
dpi-y = 200
;monitor = ${env:MONITOR:HDMI-1} ;monitor = ${env:MONITOR:HDMI-1}
width = 100% width = 100%
height = 27 height = 3%
;offset-x = 1% ;offset-x = 1%
;offset-y = 1% ;offset-y = 1%
radius = 6.0 radius = 20%
fixed-center = false fixed-center = false
background = ${colors.background} background = ${colors.background}
foreground = ${colors.foreground} foreground = ${colors.foreground}
line-size = 3 line-size = 5%
line-color = #f00 line-color = #f00
border-size = 4 border-size = 4
border-color = #00000000 border-color = #00000000
padding-left = 0 padding-left = 2
padding-right = 2 padding-right = 2
module-margin-left = 1 module-margin-left = 1
module-margin-right = 2 module-margin-right = 2
font-0 = fixed:pixelsize=10;1 font-0 = Iosevka:pixelsize=9;1
font-1 = Wuncon Siji:pixelsize=12;1 font-1 = Ionicons:pixelsize=9;1
font-2 = Weather Icons:size=7;1
; font-0 = fixed:pixelsize=10;1
; font-1 = Wuncon Siji:pixelsize=12;1
;font-1 = unifont:fontformat=truetype:size=8:antialias=false;0 ;font-1 = unifont:fontformat=truetype:size=8:antialias=false;0
;font-2 = siji:pixelsize=10;1 ;font-2 = siji:pixelsize=10;1
modules-left = bspwm i3 modules-left = bspwm i3
modules-center = modules-center =
modules-right = filesystem volume memory cpu battery temperature date wlan powermenu modules-right = openweathermap-fullfeatured filesystem volume memory cpu battery temperature date wlan powermenu
tray-position = right tray-position = right
tray-padding = 2 tray-padding = 2
@@ -70,6 +76,12 @@ tray-padding = 2
cursor-click = pointer cursor-click = pointer
cursor-scroll = ns-resize cursor-scroll = ns-resize
[module/openweathermap-fullfeatured]
type = custom/script
exec = ~/software/polybar-scripts/polybar-scripts/openweathermap-fullfeatured/openweathermap-fullfeatured.sh
interval = 600
label-font = 3
[module/xwindow] [module/xwindow]
type = internal/xwindow type = internal/xwindow
label = %title:0:30:...% label = %title:0:30:...%
@@ -96,7 +108,7 @@ interval = 25
mount-0 = / mount-0 = /
label-mounted = %{F#0a81f5}%mountpoint%%{F-}: %percentage_used%% label-mounted = %{F}%mountpoint%%{F-}: %percentage_used%%
label-unmounted = %mountpoint% not mounted label-unmounted = %mountpoint% not mounted
label-unmounted-foreground = ${colors.foreground-alt} label-unmounted-foreground = ${colors.foreground-alt}
@@ -133,7 +145,7 @@ label-mode-foreground = #000
label-mode-background = ${colors.primary} label-mode-background = ${colors.primary}
; focused = Active workspace on focused monitor ; focused = Active workspace on focused monitor
label-focused = %index% label-focused = %index%!
label-focused-background = ${module/bspwm.label-focused-background} label-focused-background = ${module/bspwm.label-focused-background}
label-focused-underline = ${module/bspwm.label-focused-underline} label-focused-underline = ${module/bspwm.label-focused-underline}
label-focused-padding = ${module/bspwm.label-focused-padding} label-focused-padding = ${module/bspwm.label-focused-padding}
@@ -191,17 +203,17 @@ card = intel_backlight
[module/cpu] [module/cpu]
type = internal/cpu type = internal/cpu
interval = 2 interval = 2
format-prefix = " " format-prefix = " "
format-prefix-foreground = ${colors.foreground-alt} format-prefix-foreground = ${colors.foreground-alt}
format-underline = #f90000 format-underline = ${colors.primary}
label = %percentage:2%% label = %percentage:2%%
[module/memory] [module/memory]
type = internal/memory type = internal/memory
interval = 2 interval = 2
format-prefix = " " format-prefix = " "
format-prefix-foreground = ${colors.foreground-alt} format-prefix-foreground = ${colors.foreground-alt}
format-underline = #4bffdc format-underline = ${colors.primary}
label = %percentage_used%% label = %percentage_used%%
[module/wlan] [module/wlan]
@@ -249,12 +261,12 @@ interval = 5
date = date =
date-alt = " %Y-%m-%d" date-alt = " %Y-%m-%d"
time = %H:%M time = %H:%M
time-alt = %H:%M:%S time-alt = %H:%M:%S
format-prefix =  format-prefix = 
format-prefix-foreground = ${colors.foreground-alt} format-prefix-foreground = ${colors.foreground-alt}
format-underline = #0a6cf5 format-underline = ${colors.primary}
label = %date% %time% label = %date% %time%
@@ -270,13 +282,13 @@ format-muted-foreground = ${colors.foreground-alt}
label-muted = sound muted label-muted = sound muted
bar-volume-width = 10 bar-volume-width = 10
bar-volume-foreground-0 = #55aa55 bar-volume-foreground-0 = ${colors.primary}
bar-volume-foreground-1 = #55aa55 bar-volume-foreground-1 = ${colors.primary}
bar-volume-foreground-2 = #55aa55 bar-volume-foreground-2 = ${colors.primary}
bar-volume-foreground-3 = #55aa55 bar-volume-foreground-3 = ${colors.primary}
bar-volume-foreground-4 = #55aa55 bar-volume-foreground-4 = ${colors.primary}
bar-volume-foreground-5 = #f5a70a bar-volume-foreground-5 = ${colors.primary}
bar-volume-foreground-6 = #ff5555 bar-volume-foreground-6 = ${colors.primary}
bar-volume-gradient = false bar-volume-gradient = false
bar-volume-indicator = | bar-volume-indicator = |
bar-volume-indicator-font = 2 bar-volume-indicator-font = 2
@@ -293,7 +305,7 @@ adapter = ADP1
full-at = 98 full-at = 98
format-charging = <animation-charging> <label-charging> format-charging = <animation-charging> <label-charging>
format-charging-underline = #ffb52a format-charging-underline = ${colors.primary}
format-discharging = <ramp-capacity> <label-discharging> format-discharging = <ramp-capacity> <label-discharging>
format-discharging-underline = ${self.format-charging-underline} format-discharging-underline = ${self.format-charging-underline}
@@ -302,14 +314,11 @@ format-full-prefix = " "
format-full-prefix-foreground = ${colors.foreground-alt} format-full-prefix-foreground = ${colors.foreground-alt}
format-full-underline = ${self.format-charging-underline} format-full-underline = ${self.format-charging-underline}
ramp-capacity-0 = ramp-capacity-0 =
ramp-capacity-1 = ramp-capacity-1 =
ramp-capacity-2 = 
ramp-capacity-foreground = ${colors.foreground-alt} ramp-capacity-foreground = ${colors.foreground-alt}
animation-charging-0 = animation-charging-0 =
animation-charging-1 = 
animation-charging-2 = 
animation-charging-foreground = ${colors.foreground-alt} animation-charging-foreground = ${colors.foreground-alt}
animation-charging-framerate = 750 animation-charging-framerate = 750
@@ -319,7 +328,7 @@ thermal-zone = 0
warn-temperature = 60 warn-temperature = 60
format = <ramp> <label> format = <ramp> <label>
format-underline = #f50a4d format-underline = ${colors.primary}
format-warn = <ramp> <label-warn> format-warn = <ramp> <label-warn>
format-warn-underline = ${self.format-underline} format-warn-underline = ${self.format-underline}
@@ -327,9 +336,9 @@ label = %temperature%
label-warn = %temperature% label-warn = %temperature%
label-warn-foreground = ${colors.secondary} label-warn-foreground = ${colors.secondary}
ramp-0 = ramp-0 =
ramp-1 = ramp-1 =
ramp-2 = ramp-2 =
ramp-foreground = ${colors.foreground-alt} ramp-foreground = ${colors.foreground-alt}
[module/powermenu] [module/powermenu]

4
polybar/.polybar.sh Executable file
View File

@@ -0,0 +1,4 @@
#!/bin/sh
killall polybar
polybar example &

4
tmux/.tmux.conf Normal file
View File

@@ -0,0 +1,4 @@
set mouse
set -sg escape-time 0
set -g default-terminal "screen-256color"
set -ag terminal-overrides ",xterm-256color:RGB"