From a99279b99608dd9097e2ac5e1a5644f231d38e27 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Thu, 23 Aug 2018 21:41:28 +0200 Subject: [PATCH] Hello world --- emacs.el | 188 ++++++++++++++++++++++++++++++++++++++ git-projects.yaml | 81 ++++++++++++++++ git.config | 7 ++ i3.config | 228 ++++++++++++++++++++++++++++++++++++++++++++++ i3blocks.config | 153 +++++++++++++++++++++++++++++++ zshrc | 79 ++++++++++++++++ 6 files changed, 736 insertions(+) create mode 100644 emacs.el create mode 100644 git-projects.yaml create mode 100644 git.config create mode 100644 i3.config create mode 100644 i3blocks.config create mode 100644 zshrc diff --git a/emacs.el b/emacs.el new file mode 100644 index 0000000..418c72e --- /dev/null +++ b/emacs.el @@ -0,0 +1,188 @@ +;;;; Initialization +(require 'package) +(add-to-list 'package-archives + '("MELPA Stable" . "https://stable.melpa.org/packages/") t) + +(package-initialize) + + +;;; Variables + +(custom-set-variables + ;; custom-set-variables was added by Custom. + ;; If you edit it by hand, you could mess it up, so be careful. + ;; Your init file should contain only one such instance. + ;; If there is more than one, they won't work right. + '(agda2-program-args nil) + '(blink-cursor-mode nil) + '(custom-enabled-themes (quote (spacemacs-dark))) + '(custom-safe-themes + (quote + ("bffa9739ce0752a37d9b1eee78fc00ba159748f50dc328af4be661484848e476"))) + '(echo-keystrokes 0.001) + '(package-selected-packages + (quote + (purescript-mode dash-functional dash lsp-mode yaml-mode spacemacs-theme restart-emacs markdown-mode magit idris-mode helm haskell-mode haml-mode form-feed dashboard)))) + +(menu-bar-mode -1) +(tool-bar-mode -1) + + +;;;; Fonts + +(custom-set-faces + ;; custom-set-faces was added by Custom. + ;; If you edit it by hand, you could mess it up, so be careful. + ;; Your init file should contain only one such instance. + ;; If there is more than one, they won't work right. + '(default ((t (:inherit nil :stipple nil :background "#292b2e" :foreground "#b2b2b2" :inverse-video nil :box nil :strike-through nil :overline nil :underline nil :slant normal :weight normal :height 145 :width normal :foundry "ADBE" :family "Source Code Pro")))) + '(agda2-highlight-catchall-clause-face ((t (:box (:line-width 1 :color "white smoke"))))) + '(agda2-highlight-coverage-problem-face ((t (:box (:line-width 1 :color "wheat"))))) + '(agda2-highlight-datatype-face ((t (:foreground "royal blue")))) + '(agda2-highlight-function-face ((t (:foreground "dodger blue")))) + '(agda2-highlight-number-face ((t (:foreground "purple")))) + '(agda2-highlight-postulate-face ((t (:foreground "royal blue")))) + '(agda2-highlight-primitive-face ((t (:foreground "royal blue")))) + '(agda2-highlight-primitive-type-face ((t (:foreground "royal blue")))) + '(agda2-highlight-reachability-problem-face ((t (:box (:line-width 1 :color "dark gray"))))) + '(agda2-highlight-record-face ((t (:foreground "royal blue")))) + '(agda2-highlight-termination-problem-face ((t (:box (:line-width 1 :color "light salmon"))))) + '(agda2-highlight-unsolved-constraint-face ((t (:box (:line-width 1 :color "Gold"))))) + '(agda2-highlight-unsolved-meta-face ((t (:box (:line-width 1 :color "Gold"))))) + '(custom-group-tag ((t (:inherit variable-pitch :foreground "light blue" :weight bold :height 1)))) + '(custom-group-tag-1 ((t (:inherit variable-pitch :foreground "pink" :weight bold :height 1)))) + '(markdown-header-face-1 ((t (:inherit bold :foreground "#4f97d7" :height 1.0)))) + '(markdown-header-face-2 ((t (:inherit bold :foreground "#2d9574" :height 1.0)))) + '(markdown-header-face-3 ((t (:foreground "#67b11d" :weight normal :height 1.0)))) + '(whitespace-trailing ((t (:background "#542b2e"))))) + + +;;;; Agda + +(load-file (let ((coding-system-for-read 'utf-8)) + (shell-command-to-string "agda-mode locate"))) + +;; ;; This will make e.g. make Agda's input-method avaiable for +;; ;; activation globally. +(require 'agda-input) + + +;;;; Captain Hook + +(add-hook 'text-mode-hook 'recentf-mode) +(add-hook 'text-mode-hook 'column-number-mode) +(add-hook 'text-mode-hook 'flyspell-mode) +(add-hook 'prog-mode-hook 'form-feed-mode) +;; I think this breaks e.g. the color-picker +; (add-hook 'text-mode-hook 'form-feed-mode) +(add-hook 'haskell-mode-hook 'interactive-haskell-mode) +;; global-company-mode keeps recentering the point on the screen for +;; some reason +; (add-hook 'after-init-hook 'global-company-mode) +;; (add-hook 'after-init-hook 'flycheck-mode) + +;; ;; (require 'haskell-unicode-input-method) + + +;;;; Flycheck + +(global-set-key (kbd "C-c f") 'flyckeck-next-error) +(global-set-key (kbd "C-c b") 'flycheck-prev-error) + + +;;;; Dashboard + +(dashboard-setup-startup-hook) +;; (setq dashboard-startup-banner 'logo) + + +;;;; Helm + +;; ;; Enable helm's recent files +;; (setq recentf-max-menu-items 25) +;; (global-set-key (kbd "C-x C-r") 'helm-recentf) + +;; ;; Use helm by default +;; (define-key global-map [remap find-file] 'helm-find-files) +;; (define-key global-map [remap occur] 'helm-occur) +;; (define-key global-map [remap list-buffers] 'helm-buffers-list) +;; (define-key global-map [remap dabbrev-expand] 'helm-dabbrev) +;; (define-key global-map [remap execute-extended-command] 'helm-M-x) + +;; ;; Swap TAB and C-j +;; (define-key helm-find-files-map "\t" 'helm-execute-persistent-action) +;; (define-key helm-find-files-map (kbd "C-j") 'helm-select-action) + +;; ;; (defun scroll-down-half () +;; ;; (interactive) +;; ;; (move-to-window-line nil) +;; ;; (recenter-top-bottom 0)) +;; ;; (defun scroll-up-half () +;; ;; (interactive) +;; ;; (move-to-window-line nil) +;; ;; (recenter-top-bottom -1)) + +;; (global-set-key (kbd "C-S-v") 'scroll-down-half) +;; (global-set-key (kbd "C-M-v") 'scroll-up-half) +(setenv "MANWIDTH" "72") +(setq-default indent-tabs-mode nil) +(put 'downcase-region 'disabled nil) + +(setq ring-bell-function + (lambda () + (let ((orig-fg (face-foreground 'mode-line))) + (set-face-foreground 'mode-line "#F2804F") + (run-with-idle-timer 0.1 nil + (lambda (fg) (set-face-foreground 'mode-line fg)) + orig-fg)))) + +(global-unset-key (kbd "C-z")) +(require 'haskell-unicode-input-method) +(add-hook 'haskell-mode-hook + (lambda () (set-input-method "haskell-unicode"))) + +;; (turn-on-purescript-indentation) +(global-set-key (kbd "C-x g") 'magit-status) + +;; Haskell IDE +(add-to-list 'load-path "/home/fredefox/.emacs.d/git/lsp-mode") +(add-to-list 'load-path "/home/fredefox/.emacs.d/git/lsp-ui") +(add-to-list 'load-path "/home/fredefox/.emacs.d/git/lsp-haskell") +;; (require 'lsp-mode) +;; (require 'lsp-ui) +;; (require 'lsp-haskell) + +;; (lsp-define-stdio-client +;; ;; This can be a symbol of your choosing. It will be used as a the +;; ;; prefix for a dynamically generated function "-enable"; in this +;; ;; case: lsp-prog-major-mode-enable +;; lsp-prog-major-mode +;; "language-id" +;; ;; This will be used to report a project's root directory to the LSP +;; ;; server. +;; (lambda () default-directory) +;; ;; This is the command to start the LSP server. It may either be a +;; ;; string containing the path of the command, or a list wherein the +;; ;; car is a string containing the path of the command, and the cdr +;; ;; are arguments to that command. +;; '("/my/lsp/server" "and" "args")) + +;; ;; Here we'll add the function that was dynamically generated by the +;; ;; call to lsp-define-stdio-client to the major-mode hook of the +;; ;; language we want to run it under. +;; ;; +;; ;; This function will turn lsp-mode on and call the command given to +;; ;; start the LSP server. +;; ;; (add-hook 'prog-major-mode #'lsp-prog-major-mode-enable) + +;; ;; (add-hook 'lsp-mode-hook 'lsp-ui-mode) +;; ;; (add-hook 'haskell-mode-hook #'lsp-haskell-enable) +;; ;; (add-hook 'haskell-mode-hook 'flycheck-mode) + +(show-paren-mode) + +(fset 'haskell/def + [M-backspace ?\C-y ? ?: ?: ? ?_ return ?\C-y ? ?= ? ?_ ?\C-y]) + +;; (global-set-key (kbd "C-x C-e") 'magit-status) +(setq x-select-enable-clipboard t) diff --git a/git-projects.yaml b/git-projects.yaml new file mode 100644 index 0000000..231152e --- /dev/null +++ b/git-projects.yaml @@ -0,0 +1,81 @@ +agda: +- agda + +AlDanial: +- cloc + +citizennet: +- purescript-halogen-template + +daherb: +- GF-latin + +ekmett: +- succinct-binary + +fredefox: +- cat +- dotfiles +- ethambda-agda +- ethambda-hs +- ethambda-idr +- fredefox.github.io +- frelude +- hal-basic +- mono-traversable +- naughty-nice +- rhyme +- symbols +- time-keeper +- val + +GrammaticalFramework: +- gf-contrib +- gf-core +- gf-rgl + +haikarainen: +- light + +haskell: +- haddock +- haskell-ide-engine + +haskell-suite: +- haskell-src-exts + +idris-lang: +- Idris-dev + +janmasrovira: +- masters-thesis-doc +- phileas + +MUSTE-Project: +- digestive-functors +- Mulle +- muste-ajax.hlint +- muste-elm +- muste.hlint +- pgf +- runall.hs +- snap-extras +- sqlite-simple +- stuff +- weeds +- #worklog.yaml# +- worklog.yaml +- worklog.yaml~ + +nurpax: +- sqlite-simple + +PandorasFox: +- i3lock-color + +sciurus: +- i3tree + +sdiehl: +- protolude +- repline diff --git a/git.config b/git.config new file mode 100644 index 0000000..646ffce --- /dev/null +++ b/git.config @@ -0,0 +1,7 @@ +[user] + email = fhi.1990@gmail.com + name = Frederik Hanghøj Iversen + signkey = 7B95683D8994C3BFF599784A6A3245752F02B908 + signingkey = 7B95683D8994C3BFF599784A6A3245752F02B908 +[core] + excludesfile = /home/fredefox/.config/git/ignore diff --git a/i3.config b/i3.config new file mode 100644 index 0000000..ade04a8 --- /dev/null +++ b/i3.config @@ -0,0 +1,228 @@ +# This file has been auto-generated by i3-config-wizard(1). +# It will not be overwritten, so edit it as you like. +# +# Should you change your keyboard layout some time, delete +# this file and re-run i3-config-wizard(1). +# + +# i3 config file (v4) +# +# Please see https://i3wm.org/docs/userguide.html for a complete reference! + +set $mod Mod4 + +# Font for window titles. Will also be used by the bar unless a different font +# is used in the bar {} block below. +font pango:monospace 11 + +# This font is widely installed, provides lots of unicode glyphs, right-to-left +# text rendering and scalability on retina/hidpi displays (thanks to pango). +#font pango:DejaVu Sans Mono 8 + +# Before i3 v4.8, we used to recommend this one as the default: +# font -misc-fixed-medium-r-normal--13-120-75-75-C-70-iso10646-1 +# The font above is very space-efficient, that is, it looks good, sharp and +# clear in small sizes. However, its unicode glyph coverage is limited, the old +# X core fonts rendering does not support right-to-left and this being a bitmap +# font, it doesn’t scale on retina/hidpi displays. + +# Use Mouse+$mod to drag floating windows to their wanted position +floating_modifier $mod + +# start a terminal +bindsym $mod+Return exec i3-sensible-terminal + +# kill focused window +bindsym $mod+q kill + +# start dmenu (a program launcher) +bindsym $mod+d exec dmenu_run +# There also is the (new) i3-dmenu-desktop which only displays applications +# shipping a .desktop file. It is a wrapper around dmenu, so you need that +# installed. +# bindsym $mod+d exec --no-startup-id i3-dmenu-desktop + +# launch apps +bindsym $mod+e exec sensible-editor +bindsym $mod+b exec sensible-browser +bindsym $mod+semicolon focus right + +# alternatively, you can use the cursor keys: +bindsym $mod+Left focus left +bindsym $mod+Down focus down +bindsym $mod+Up focus up +bindsym $mod+Right focus right + +# move focused window +bindsym $mod+Shift+j move left +bindsym $mod+Shift+k move down +bindsym $mod+Shift+l move up +bindsym $mod+Shift+semicolon move right + +# alternatively, you can use the cursor keys: +bindsym $mod+Shift+Left move left +bindsym $mod+Shift+Down move down +bindsym $mod+Shift+Up move up +bindsym $mod+Shift+Right move right + +# split in horizontal orientation +# bindsym $mod+h split h + +# split in vertical orientation +# bindsym $mod+v split v + +# enter fullscreen mode for the focused container +bindsym $mod+f fullscreen toggle + +# change container layout (stacked, tabbed, toggle split) +# bindsym $mod+s layout stacking +bindsym $mod+t layout tabbed +bindsym $mod+h layout splith +bindsym $mod+v layout splitv + +# toggle tiling / floating +bindsym $mod+Shift+space floating toggle + +# change focus between tiling / floating windows +bindsym $mod+space focus mode_toggle + +# focus the parent container +bindsym $mod+a focus parent + +# focus the child container +#bindsym $mod+d focus child + +# Define names for default workspaces for which we configure key bindings later on. +# We use variables to avoid repeating the names in multiple places. +set $ws1 "1" +set $ws2 "2" +set $ws3 "3" +set $ws4 "4" +set $ws5 "5" +set $ws6 "6" +set $ws7 "7" +set $ws8 "8" +set $ws9 "9" +set $ws10 "10" + +# switch to workspace +bindsym $mod+1 workspace $ws1 +bindsym $mod+2 workspace $ws2 +bindsym $mod+3 workspace $ws3 +bindsym $mod+4 workspace $ws4 +bindsym $mod+5 workspace $ws5 +bindsym $mod+6 workspace $ws6 +bindsym $mod+7 workspace $ws7 +bindsym $mod+8 workspace $ws8 +bindsym $mod+9 workspace $ws9 +bindsym $mod+0 workspace $ws10 + +# move focused container to workspace +bindsym $mod+Shift+1 move container to workspace $ws1 +bindsym $mod+Shift+2 move container to workspace $ws2 +bindsym $mod+Shift+3 move container to workspace $ws3 +bindsym $mod+Shift+4 move container to workspace $ws4 +bindsym $mod+Shift+5 move container to workspace $ws5 +bindsym $mod+Shift+6 move container to workspace $ws6 +bindsym $mod+Shift+7 move container to workspace $ws7 +bindsym $mod+Shift+8 move container to workspace $ws8 +bindsym $mod+Shift+9 move container to workspace $ws9 +bindsym $mod+Shift+0 move container to workspace $ws10 + +# reload the configuration file +bindsym $mod+Shift+c reload +# restart i3 inplace (preserves your layout/session, can be used to upgrade i3) +bindsym $mod+Shift+r restart +# exit i3 (logs you out of your X session) +bindsym $mod+Escape 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'" + +# resize window (you can also use the mouse for that) +mode "resize" { + # These bindings trigger as soon as you enter the resize mode + + # Pressing left will shrink the window’s width. + # Pressing right will grow the window’s width. + # Pressing up will shrink the window’s height. + # Pressing down will grow the window’s height. + bindsym j resize shrink width 10 px or 10 ppt + bindsym k resize grow height 10 px or 10 ppt + bindsym l resize shrink height 10 px or 10 ppt + bindsym semicolon resize grow width 10 px or 10 ppt + + # same bindings, but for the arrow keys + bindsym Left resize shrink width 10 px or 10 ppt + bindsym Down resize grow height 10 px or 10 ppt + bindsym Up resize shrink height 10 px or 10 ppt + bindsym Right resize grow width 10 px or 10 ppt + + # back to normal: Enter or Escape or $mod+r + bindsym Return mode "default" + bindsym Escape mode "default" + bindsym $mod+r mode "default" +} + +bindsym $mod+r mode "resize" + +set $base00 #101218 +set $base01 #1f222d +set $base02 #252936 +set $base03 #7780a1 +set $base04 #C0C5CE +set $base05 #d1d4e0 +set $base06 #C9CCDB +set $base07 #ffffff +set $base08 #ee829f +set $base09 #f99170 +set $base0A #ffefcc +set $base0B #a5ffe1 +set $base0C #97e0ff +set $base0D #97bbf7 +set $base0E #c0b7f9 +set $base0F #fcc09e + +# Widow Colours +client.focused $base0D $base0D $base00 $base01 +client.focused_inactive $base02 $base02 $base03 $base01 +client.unfocused $base01 $base01 $base03 $base01 +client.urgent $base02 $base08 $base07 $base08 + +# Bar +bar { + # status_command i3status + status_command i3blocks + tray_output primary + + colors { + separator $base03 + background $base01 + statusline $base05 + focused_workspace $base0C $base0D $base00 + active_workspace $base02 $base02 $base07 + inactive_workspace $base01 $base01 $base03 + urgent_workspace $base08 $base08 $base07 + } +} + +hide_edge_borders both + +# Pulse Audio controls +bindsym XF86AudioRaiseVolume exec --no-startup-id pactl set-sink-volume 0 +5% #increase sound volume +bindsym XF86AudioLowerVolume exec --no-startup-id pactl set-sink-volume 0 -5% #decrease sound volume +bindsym XF86AudioMute exec --no-startup-id pactl set-sink-mute 0 toggle # mute sound + +# Sreen brightness controls +bindsym XF86MonBrightnessUp exec light -A 5 # increase screen brightness +bindsym XF86MonBrightnessDown exec light -U 5 # decrease screen brightness + +# Touchpad controls +# bindsym XF86TouchpadToggle exec /some/path/toggletouchpad.sh # toggle touchpad + +# Media player controls +bindsym XF86AudioPlay exec playerctl play +bindsym XF86AudioPause exec playerctl pause +bindsym XF86AudioNext exec playerctl next +bindsym XF86AudioPrev exec playerctl previous + +exec "setxkbmap -option grp:win_space_toggle -layout us,dk" + +bindsym $mod+l exec "i3lock -c 1e0023" diff --git a/i3blocks.config b/i3blocks.config new file mode 100644 index 0000000..160aae8 --- /dev/null +++ b/i3blocks.config @@ -0,0 +1,153 @@ +# i3blocks config file +# +# Please see man i3blocks for a complete reference! +# The man page is also hosted at http://vivien.github.io/i3blocks +# +# List of valid properties: +# +# align +# color +# command +# full_text +# instance +# interval +# label +# min_width +# name +# separator +# separator_block_width +# short_text +# signal +# urgent + +# Global properties +# +# The top properties below are applied to every block, but can be overridden. +# Each block command defaults to the script name to avoid boilerplate. +command=/usr/share/i3blocks/$BLOCK_NAME +separator_block_width=15 +markup=none + +# Volume indicator +# +# The first parameter sets the step (and units to display) +# The second parameter overrides the mixer selection +# See the script for details. +[volume] +#label=VOL +label=♪ +instance=Master +#instance=PCM +interval=1 +signal=10 + +# Memory usage +# +# The type defaults to "mem" if the instance is not specified. +[memory] +label=MEM +separator=false +interval=30 + +[memory] +label=SWAP +instance=swap +separator=false +interval=30 + +# Disk usage +# +# The directory defaults to $HOME if the instance is not specified. +# The script may be called with a optional argument to set the alert +# (defaults to 10 for 10%). +[disk] +label=HOME +#instance=/mnt/data +interval=30 + +# Network interface monitoring +# +# If the instance is not specified, use the interface used for default route. +# The address can be forced to IPv4 or IPv6 with -4 or -6 switches. +[iface] +#instance=wlan0 +color=#00FF00 +interval=10 +separator=false + +[wifi] +#instance=wlp3s0 +interval=10 +separator=false + +[bandwidth] +#instance=eth0 +interval=5 + +# CPU usage +# +# The script may be called with -w and -c switches to specify thresholds, +# see the script for details. +[cpu_usage] +label=CPU +interval=10 +min_width=CPU: 100.00% +#separator=false + +#[load_average] +#interval=10 + +# Battery indicator +# +# The battery instance defaults to 0. +[battery] +#label=BAT +label=⚡ +#instance=1 +interval=30 + +# Date Time +# +[time] +command=date '+%Y-%m-%d %H:%M:%S' +interval=1 + +# Generic media player support +# +# This displays "ARTIST - SONG" if a music is playing. +# Supported players are: spotify, vlc, audacious, xmms2, mplayer, and others. +#[mediaplayer] +#instance=spotify +#interval=5 +#signal=10 + +# OpenVPN support +# +# Support multiple VPN, with colors. +#[openvpn] +#interval=20 + +# Temperature +# +# Support multiple chips, though lm-sensors. +# The script may be called with -w and -c switches to specify thresholds, +# see the script for details. +#[temperature] +#label=TEMP +#interval=10 + +# Key indicators +# +# Add the following bindings to i3 config file: +# +# bindsym --release Caps_Lock exec pkill -SIGRTMIN+11 i3blocks +# bindsym --release Num_Lock exec pkill -SIGRTMIN+11 i3blocks +#[keyindicator] +#instance=CAPS +#interval=once +#signal=11 + +#[keyindicator] +#instance=NUM +#interval=once +#signal=11 diff --git a/zshrc b/zshrc new file mode 100644 index 0000000..40b5509 --- /dev/null +++ b/zshrc @@ -0,0 +1,79 @@ +# Path to your oh-my-zsh installation. +export ZSH="/home/fredefox/.oh-my-zsh" + +ZSH_THEME="robbyrussell" + +CASE_SENSITIVE="false" + +# Uncomment the following line to disable bi-weekly auto-update checks. +DISABLE_AUTO_UPDATE="false" + +export UPDATE_ZSH_DAYS=50 + +# Uncomment the following line if you want to disable marking untracked files +# under VCS as dirty. This makes repository status check for large repositories +# much, much faster. +DISABLE_UNTRACKED_FILES_DIRTY="true" + +# Which plugins would you like to load? (plugins can be found in ~/.oh-my-zsh/plugins/*) +# Custom plugins may be added to ~/.oh-my-zsh/custom/plugins/ +# Example format: plugins=(rails git textmate ruby lighthouse) +# Add wisely, as too many plugins slow down shell startup. +plugins=( + git +) + +source $ZSH/oh-my-zsh.sh + +# +# User configuration + +# export MANPATH="/usr/local/man:$MANPATH" + +# You may need to manually set your language environment +# export LANG=en_US.UTF-8 + +# Preferred editor for local and remote sessions +# if [[ -n $SSH_CONNECTION ]]; then +# export EDITOR='vim' +# else +# export EDITOR='mvim' +# fi + +# Compilation flags +# export ARCHFLAGS="-arch x86_64" + +# ssh +# export SSH_KEY_PATH="~/.ssh/rsa_id" + +# Set personal aliases, overriding those provided by oh-my-zsh libs, +# plugins, and themes. Aliases can be placed here, though oh-my-zsh +# users are encouraged to define aliases within the ZSH_CUSTOM folder. +# For a full list of active aliases, run `alias`. +# +# Example aliases +# alias zshconfig="mate ~/.zshrc" +# alias ohmyzsh="mate ~/.oh-my-zsh" + + +# The following lines were added by compinstall +zstyle :compinstall filename '/home/fredefox/.zshrc' + +autoload -Uz compinit +compinit +# End of lines added by compinstall +# Lines configured by zsh-newuser-install +HISTFILE=~/.histfile +HISTSIZE=100000 +SAVEHIST=100000 +setopt appendhistory extendedglob +unsetopt autocd beep +bindkey -e +# End of lines configured by zsh-newuser-install + +export PATH="$HOME/.local/bin:$PATH" +alias sb="stack build" +alias gp="git add -p" +# source $HOME/.config/gf/config +alias ide='ghcid -c "stack ghci --test --ghci-options=-fno-break-on-exception --ghci-options=-fno-break-on-error --ghci-options=-v1 --ghci-options=-ferror-spans --ghci-options=-j"' +export PAGER="less -FX"