tethys

.config/terminator/config

@@ -53,6 +53,7 @@
   [[Medium]]
     background_darkness = 0.8
     background_type = transparent
+    cursor_color = "#ffffff"
     font = Droid Sans Mono Dotted 14
     foreground_color = "#ffffff"
     scrollback_infinite = True

.config/xfce4/xfconf/xfce-perchannel-xml/displays.xml

@@ -50,6 +50,18 @@
         <property name="Y" type="int" value="0"/>
       </property>
     </property>
+    <property name="rdp0" type="string" value="rdp0">
+      <property name="Active" type="bool" value="true"/>
+      <property name="Resolution" type="string" value="2560x1440"/>
+      <property name="RefreshRate" type="double" value="50.000000"/>
+      <property name="Rotation" type="int" value="0"/>
+      <property name="Reflection" type="string" value="0"/>
+      <property name="Primary" type="bool" value="false"/>
+      <property name="Position" type="empty">
+        <property name="X" type="int" value="0"/>
+        <property name="Y" type="int" value="0"/>
+      </property>
+    </property>
   </property>
   <property name="Notify" type="bool" value="true"/>
 </channel>

.config/xfce4/xfconf/xfce-perchannel-xml/xfce4-panel.xml

@@ -10,15 +10,13 @@
       <property name="position-locked" type="bool" value="true"/>
       <property name="size" type="uint" value="24"/>
       <property name="plugin-ids" type="array">
-        <value type="int" value="11"/>
         <value type="int" value="4"/>
-        <value type="int" value="3"/>
-        <value type="int" value="15"/>
-        <value type="int" value="7"/>
-        <value type="int" value="8"/>
-        <value type="int" value="1"/>
-        <value type="int" value="9"/>
         <value type="int" value="10"/>
+        <value type="int" value="7"/>
+        <value type="int" value="15"/>
+        <value type="int" value="8"/>
+        <value type="int" value="9"/>
+        <value type="int" value="1"/>
         <value type="int" value="5"/>
         <value type="int" value="6"/>
         <value type="int" value="2"/>
@@ -38,7 +36,6 @@
   </property>
   <property name="plugins" type="empty">
     <property name="plugin-2" type="string" value="actions"/>
-    <property name="plugin-3" type="string" value="tasklist"/>
     <property name="plugin-15" type="string" value="separator">
       <property name="expand" type="bool" value="true"/>
       <property name="style" type="uint" value="0"/>
@@ -83,17 +80,19 @@
         <value type="string" value="mailspring"/>
         <value type="string" value="remmina"/>
       </property>
+      <property name="show-frame" type="bool" value="false"/>
     </property>
-    <property name="plugin-9" type="string" value="cpugraph"/>
-    <property name="plugin-10" type="string" value="netload"/>
     <property name="plugin-11" type="string" value="whiskermenu"/>
     <property name="plugin-1" type="string" value="power-manager-plugin"/>
-    <property name="plugin-4" type="string" value="pager">
+    <property name="plugin-4" type="string" value="whiskermenu"/>
-      <property name="rows" type="uint" value="1"/>
+    <property name="plugin-7" type="string" value="tasklist"/>
-    </property>
+    <property name="plugin-8" type="string" value="genmon"/>
-    <property name="plugin-7" type="string" value="genmon"/>
+    <property name="plugin-9" type="string" value="separator">
-    <property name="plugin-8" type="string" value="separator">
       <property name="style" type="uint" value="0"/>
+      <property name="expand" type="bool" value="false"/>
+    </property>
+    <property name="plugin-10" type="string" value="pager">
+      <property name="rows" type="uint" value="1"/>
     </property>
   </property>
 </channel>

.emacs.d/init.el

@@ -1,6 +1,6 @@
 ;;; init.el --- Spacemacs Initialization File
 ;;
-;; Copyright (c) 2012-2016 Sylvain Benner & Contributors
+;; Copyright (c) 2012-2017 Sylvain Benner & Contributors
 ;;
 ;; Author: Sylvain Benner <sylvain.benner@gmail.com>
 ;; URL: https://github.com/syl20bnr/spacemacs
@@ -16,20 +16,19 @@
 ;; lower value in your dotfile (function `dotspacemacs/user-config')
 (setq gc-cons-threshold 100000000)
 
-(defconst spacemacs-version          "0.200.3" "Spacemacs version.")
+(defconst spacemacs-version          "0.200.9" "Spacemacs version.")
 (defconst spacemacs-emacs-min-version   "24.4" "Minimal version of Emacs.")
 
 (if (not (version<= spacemacs-emacs-min-version emacs-version))
-    (message (concat "Your version of Emacs (%s) is too old. "
+    (error (concat "Your version of Emacs (%s) is too old. "
-                     "Spacemacs requires Emacs version %s or above.")
+                   "Spacemacs requires Emacs version %s or above.")
-             emacs-version spacemacs-emacs-min-version)
+           emacs-version spacemacs-emacs-min-version)
   (load-file (concat (file-name-directory load-file-name)
                      "core/core-load-paths.el"))
   (require 'core-spacemacs)
   (spacemacs/init)
-  (spacemacs/maybe-install-dotfile)
   (configuration-layer/sync)
-  (spacemacs-buffer/display-info-box)
+  (spacemacs-buffer/display-startup-note)
   (spacemacs/setup-startup-hook)
   (require 'server)
   (unless (server-running-p) (server-start)))

.spacemacs

@@ -25,11 +25,12 @@ values."
                       auto-completion-enable-help-tooltip t
                       auto-completion-enable-snippets-in-popup nil)
      ;; better-defaults
+     coq
      emacs-lisp
      mu4e
      git
      go
-     themes-megapack
+     ;themes-megapack
      latex
      markdown
      (org :variables
@@ -71,7 +72,6 @@ This function is called at the very startup of Spacemacs initialization
 before layers configuration.
 You should not put any user code in there besides modifying the variable
 values."
-  (load-file "~/.emacs.local/barak-theme.el")
   ;; This setq-default sexp is an exhaustive list of all the supported
   ;; spacemacs settings.
   (setq-default
@@ -104,7 +104,7 @@ values."
    ;;                       leuven
    ;;                       monokai
    ;;                       zenburn)
-   dotspacemacs-themes '(barak)
+   ;;dotspacemacs-themes '(barak)
    ;; If non nil the cursor color matches the state color.
    dotspacemacs-colorize-cursor-according-to-state t
    ;; Default font. `powerline-scale' allows to quickly tweak the mode-line
@@ -229,8 +229,10 @@ user code."
   "Configuration function for user code.
  This function is called at the very end of Spacemacs initialization after
 layers configuration. You are free to put any user code."
+  (load-file "~/.emacs.local/barak-theme.el")
+  (load-theme 'barak t)
   (fset 'xterm-color-unfontify-region 'font-lock-default-unfontify-region)
-  (setq dotspacemacs-additional-packages '(barak-theme))
+  ;(setq dotspacemacs-additional-packages '(barak-theme))
   (defun kill-buffer-and-its-windows (buffer)
   "Kill BUFFER and delete its windows.  Default is `current-buffer'.
 BUFFER may be either a buffer or its name (a string)."
@@ -313,8 +315,8 @@ BUFFER may be either a buffer or its name (a string)."
 
   (add-hook 'window-setup-hook 'on-after-init)
 
-  (set-frame-parameter (selected-frame) 'alpha '(85 85))
+  ;(set-frame-parameter (selected-frame) 'alpha '(85 85))
-  (add-to-list 'default-frame-alist '(alpha 85 85))
+  ;(add-to-list 'default-frame-alist '(alpha 85 85))
 
   (setq diff-hl-side 'left)
   (defun cleanup-org-tables ()
@@ -410,7 +412,7 @@ BUFFER may be either a buffer or its name (a string)."
  '(org-support-shift-select (quote always))
  '(package-selected-packages
    (quote
-    (powerline spinner org alert log4e gntp markdown-mode hydra parent-mode projectile request go-guru gitignore-mode fringe-helper git-gutter+ git-gutter flycheck pkg-info epl flx magit magit-popup git-commit with-editor smartparens iedit anzu evil goto-chg undo-tree highlight diminish pos-tip go-mode company bind-map bind-key yasnippet packed anaconda-mode pythonic f dash s helm avy helm-core async auto-complete popup package-build yapfify uuidgen py-isort ox-gfm org-projectile org-download mu4e-maildirs-extension mu4e-alert ht live-py-mode link-hint hide-comnt git-link eyebrowse evil-visual-mark-mode evil-unimpaired evil-ediff eshell-z dumb-jump darkokai-theme column-enforce-mode company-auctex auctex-latexmk auctex zonokai-theme zenburn-theme zen-and-art-theme yaml-mode xterm-color ws-butler window-numbering which-key volatile-highlights vi-tilde-fringe use-package underwater-theme ujelly-theme twilight-theme twilight-bright-theme twilight-anti-bright-theme tronesque-theme toxi-theme toc-org tao-theme tangotango-theme tango-plus-theme tango-2-theme systemd sunny-day-theme sublime-themes subatomic256-theme subatomic-theme stekene-theme spacemacs-theme spaceline spacegray-theme soothe-theme soft-stone-theme soft-morning-theme soft-charcoal-theme smyx-theme smooth-scrolling smeargle shell-pop seti-theme reverse-theme restart-emacs railscasts-theme quelpa pyvenv pytest pyenv-mode py-yapf purple-haze-theme protobuf-mode professional-theme popwin planet-theme pip-requirements phoenix-dark-pink-theme phoenix-dark-mono-theme persp-mode pcre2el pastels-on-dark-theme paradox page-break-lines orgit organic-green-theme org-repo-todo org-present org-pomodoro org-plus-contrib org-bullets open-junk-file omtose-phellack-theme oldlace-theme occidental-theme obsidian-theme noctilux-theme niflheim-theme neotree naquadah-theme mustang-theme multi-term move-text monokai-theme monochrome-theme molokai-theme moe-theme mmm-mode minimal-theme material-theme markdown-toc majapahit-theme magit-gitflow macrostep lush-theme lorem-ipsum linum-relative light-soap-theme leuven-theme jbeans-theme jazz-theme ir-black-theme inkpot-theme info+ indent-guide ido-vertical-mode hy-mode hungry-delete htmlize hl-todo highlight-parentheses highlight-numbers highlight-indentation heroku-theme hemisu-theme help-fns+ helm-themes helm-swoop helm-pydoc helm-projectile helm-mode-manager helm-make helm-gitignore helm-flx helm-descbinds helm-company helm-c-yasnippet helm-ag hc-zenburn-theme gruvbox-theme gruber-darker-theme grandshell-theme gotham-theme google-translate golden-ratio go-eldoc gnuplot gitconfig-mode gitattributes-mode git-timemachine git-messenger git-gutter-fringe git-gutter-fringe+ gh-md gandalf-theme flycheck-pos-tip flx-ido flatui-theme flatland-theme firebelly-theme fill-column-indicator farmhouse-theme fancy-battery expand-region exec-path-from-shell evil-visualstar evil-tutor evil-surround evil-search-highlight-persist evil-numbers evil-nerd-commenter evil-mc evil-matchit evil-magit evil-lisp-state evil-indent-plus evil-iedit-state evil-exchange evil-escape evil-args evil-anzu eval-sexp-fu espresso-theme eshell-prompt-extras esh-help elisp-slime-nav dracula-theme django-theme diff-hl define-word darktooth-theme darkmine-theme darkburn-theme dakrone-theme cython-mode cyberpunk-theme company-statistics company-quickhelp company-go company-anaconda colorsarenice-theme color-theme-sanityinc-tomorrow color-theme-sanityinc-solarized clues-theme clean-aindent-mode cherry-blossom-theme busybee-theme buffer-move bubbleberry-theme bracketed-paste birds-of-paradise-plus-theme badwolf-theme auto-yasnippet auto-highlight-symbol auto-compile apropospriate-theme anti-zenburn-theme ample-zen-theme ample-theme alect-themes aggressive-indent afternoon-theme adaptive-wrap ace-window ace-link ace-jump-helm-line ac-ispell)))
+    (winum solarized-theme org-category-capture madhat2r-theme dash-functional fuzzy autothemer powerline spinner org alert log4e gntp markdown-mode hydra parent-mode projectile request go-guru gitignore-mode fringe-helper git-gutter+ git-gutter flycheck pkg-info epl flx magit magit-popup git-commit with-editor smartparens iedit anzu evil goto-chg undo-tree highlight diminish pos-tip go-mode company bind-map bind-key yasnippet packed anaconda-mode pythonic f dash s helm avy helm-core async auto-complete popup package-build yapfify uuidgen py-isort ox-gfm org-projectile org-download mu4e-maildirs-extension mu4e-alert ht live-py-mode link-hint hide-comnt git-link eyebrowse evil-visual-mark-mode evil-unimpaired evil-ediff eshell-z dumb-jump darkokai-theme column-enforce-mode company-auctex auctex-latexmk auctex zonokai-theme zenburn-theme zen-and-art-theme yaml-mode xterm-color ws-butler window-numbering which-key volatile-highlights vi-tilde-fringe use-package underwater-theme ujelly-theme twilight-theme twilight-bright-theme twilight-anti-bright-theme tronesque-theme toxi-theme toc-org tao-theme tangotango-theme tango-plus-theme tango-2-theme systemd sunny-day-theme sublime-themes subatomic256-theme subatomic-theme stekene-theme spacemacs-theme spaceline spacegray-theme soothe-theme soft-stone-theme soft-morning-theme soft-charcoal-theme smyx-theme smooth-scrolling smeargle shell-pop seti-theme reverse-theme restart-emacs railscasts-theme quelpa pyvenv pytest pyenv-mode py-yapf purple-haze-theme protobuf-mode professional-theme popwin planet-theme pip-requirements phoenix-dark-pink-theme phoenix-dark-mono-theme persp-mode pcre2el pastels-on-dark-theme paradox page-break-lines orgit organic-green-theme org-repo-todo org-present org-pomodoro org-plus-contrib org-bullets open-junk-file omtose-phellack-theme oldlace-theme occidental-theme obsidian-theme noctilux-theme niflheim-theme neotree naquadah-theme mustang-theme multi-term move-text monokai-theme monochrome-theme molokai-theme moe-theme mmm-mode minimal-theme material-theme markdown-toc majapahit-theme magit-gitflow macrostep lush-theme lorem-ipsum linum-relative light-soap-theme leuven-theme jbeans-theme jazz-theme ir-black-theme inkpot-theme info+ indent-guide ido-vertical-mode hy-mode hungry-delete htmlize hl-todo highlight-parentheses highlight-numbers highlight-indentation heroku-theme hemisu-theme help-fns+ helm-themes helm-swoop helm-pydoc helm-projectile helm-mode-manager helm-make helm-gitignore helm-flx helm-descbinds helm-company helm-c-yasnippet helm-ag hc-zenburn-theme gruvbox-theme gruber-darker-theme grandshell-theme gotham-theme google-translate golden-ratio go-eldoc gnuplot gitconfig-mode gitattributes-mode git-timemachine git-messenger git-gutter-fringe git-gutter-fringe+ gh-md gandalf-theme flycheck-pos-tip flx-ido flatui-theme flatland-theme firebelly-theme fill-column-indicator farmhouse-theme fancy-battery expand-region exec-path-from-shell evil-visualstar evil-tutor evil-surround evil-search-highlight-persist evil-numbers evil-nerd-commenter evil-mc evil-matchit evil-magit evil-lisp-state evil-indent-plus evil-iedit-state evil-exchange evil-escape evil-args evil-anzu eval-sexp-fu espresso-theme eshell-prompt-extras esh-help elisp-slime-nav dracula-theme django-theme diff-hl define-word darktooth-theme darkmine-theme darkburn-theme dakrone-theme cython-mode cyberpunk-theme company-statistics company-quickhelp company-go company-anaconda colorsarenice-theme color-theme-sanityinc-tomorrow color-theme-sanityinc-solarized clues-theme clean-aindent-mode cherry-blossom-theme busybee-theme buffer-move bubbleberry-theme bracketed-paste birds-of-paradise-plus-theme badwolf-theme auto-yasnippet auto-highlight-symbol auto-compile apropospriate-theme anti-zenburn-theme ample-zen-theme ample-theme alect-themes aggressive-indent afternoon-theme adaptive-wrap ace-window ace-link ace-jump-helm-line ac-ispell)))
  '(paradox-github-token t)
  '(safe-local-variable-values
    (quote
@@ -426,8 +428,4 @@ BUFFER may be either a buffer or its name (a string)."
  ;; 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.
- '(company-tooltip-common ((t (:inherit company-tooltip :weight bold :underline nil))))
- '(company-tooltip-common-selection ((t (:inherit company-tooltip-selection :weight bold :underline nil))))
- '(match ((t (:weight bold))))
- '(show-paren-match ((t (:foreground "chartreuse"))))
  )

.vimrc

@@ -98,6 +98,7 @@ Plug 'Shougo/deoplete.nvim'
 Plug 'zchee/deoplete-go', {'build': {'unix': 'make'}}
 Plug 'zchee/deoplete-jedi'
 Plug 'b4winckler/vim-angry'
+Plug 'clojure-vim/async-clj-omni'
 Plug 'tristen/vim-sparkup'
 Plug 'vim-airline/vim-airline'
 Plug 'vim-airline/vim-airline-themes'
@@ -133,6 +134,7 @@ Plug 'sheerun/vim-polyglot'
 "Plug 'rust-lang/rust.vim'
 "Plug 'hashivim/vim-terraform'
 "Plug 'HerringtonDarkholme/yats.vim'
+Plug 'tpope/vim-fireplace'
 
 call plug#end()
 
@@ -440,6 +442,10 @@ au FileType go nmap <leader>c :GoCoverlayT<CR>
 au FileType coq nmap <leader>a :CoqToCursor<CR>
 au FileType coq imap <leader>a <C-O>:CoqToCursor<CR>
 
+au FileType clojure let g:deoplete#keyword_patterns = {}
+au FileType clojure let g:deoplete#keyword_patterns.clojure = '[\w!$%&*+/:<=>?@\^_~\-\.#]*'
+
+
 " Make the Quickfix window respond well to commands (for instance, q to close,
 " Enter to select, etc). In tandem with the above.
 augroup QFixToggle

.xinitrc

@@ -16,11 +16,11 @@ xfsettingsd &
 xrdb -merge .Xdefaults &
 
 #gnome-settings-daemon & 
-xscreensaver -no-splash &
+#xscreensaver -no-splash &
 #kupfer --no-splash &
 rofi -key-run control-space -fuzzy -terminal run_terminal &
-nm-applet &
+#nm-applet &
-gnome-sound-applet &
+#gnome-sound-applet &
 remmina -i &
 #setxkbmap -option ctrl:nocaps &
 xmodmap ~/.Xmodmap &
@@ -29,8 +29,8 @@ xmodmap ~/.Xmodmap &
 # Running a really minimal arch system? This helps:
 
 /usr/lib/xfce4/notifyd/xfce4-notifyd &
-pulseaudio --start &
+#pulseaudio --start &
-blueman-applet &
+#blueman-applet &
 #wicd-gtk --tray &
 
 if [ -f ~/.xrandrrc ]; then
@@ -39,9 +39,9 @@ fi
 
 
 ~/.fehbg &
-if command -v compton &>/dev/null; then
+#if command -v compton &>/dev/null; then
-  compton -b --config ~/.compton.conf &
+  #compton -b --config ~/.compton.conf &
-fi
+#fi
 #exec awesome
 exec i3
 #exec startxfce4