Update 2019-07-07

23 files changed, 304 insertions, 0 deletions

diff --git a/debian/.Xresources b/debian/.Xresources
new file mode 120000
index 0000000..c4d7dd6
--- /dev/null
+++ b/debian/.Xresources
@@ -0,0 +1 @@
+.Xresources-dark
\ No newline at end of file
diff --git a/debian/.Xresources-dark b/debian/.Xresources-dark
new file mode 100644
index 0000000..760770b
--- /dev/null
+++ b/debian/.Xresources-dark
@@ -0,0 +1,26 @@
+*.foreground:  #fce8c3
+*.background:  #1c1b19
+*.cursorColor: #fce8c3
+*.color0:     #1c1b19
+*.color1:     #ef2f27
+*.color2:     #519f50
+*.color3:     #fbb829
+*.color4:     #2c78bf
+*.color5:     #e02c6d
+*.color6:     #0aaeb3
+*.color7:     #918175
+*.color8:     #2D2C29
+*.color9:     #f75341
+*.color10:    #98bc37
+*.color11:    #fed06e
+*.color12:    #68A8E4
+*.color13:    #ff5c8f
+*.color14:    #53fde9
+*.color15:    #fce8c3
+*loginShell:  true
+*scrollBar:   false
+*saveLines:   65535
+*cursorBlink: false
+*jumpScroll:  true
+URxvt.font:   xft:Latin Modern Mono:size=12
+URxvt.termName: rxvt-unicode-256color
diff --git a/debian/.Xresources-light b/debian/.Xresources-light
new file mode 100644
index 0000000..3123694
--- /dev/null
+++ b/debian/.Xresources-light
@@ -0,0 +1,25 @@
+*background:  #fbf1c7
+*foreground:  #3c3836
+*color0:      #fbf1c7
+*color1:      #cc241d
+*color2:      #98971a
+*color3:      #d79921
+*color4:      #458588
+*color5:      #b16286
+*color6:      #689d6a
+*color7:      #7c6f64
+*color8:      #928374
+*color9:      #9d0006
+*color10:     #79740e
+*color11:     #b57614
+*color12:     #076678
+*color13:     #8f3f71
+*color14:     #427b58
+*color15:     #3c3836
+*loginShell:  true
+*scrollBar:   false
+*saveLines:   65535
+*cursorBlink: false
+*jumpScroll:  true
+URxvt.font:   xft:Latin Modern Mono:size=12
+URxvt.termName: rxvt
diff --git a/debian/.bashrc b/debian/.bashrc
new file mode 100644
index 0000000..4f9c6a5
--- /dev/null
+++ b/debian/.bashrc
@@ -0,0 +1,130 @@
+# ~/.bashrc: executed by bash(1) for non-login shells.
+# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
+# for examples
+
+# If not running interactively, don't do anything
+case $- in
+    *i*) ;;
+      *) return;;
+esac
+
+# don't put duplicate lines or lines starting with space in the history.
+# See bash(1) for more options
+HISTCONTROL=ignoreboth
+
+# append to the history file, don't overwrite it
+shopt -s histappend
+
+# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
+HISTSIZE=32767
+HISTFILESIZE=65536
+
+# check the window size after each command and, if necessary,
+# update the values of LINES and COLUMNS.
+shopt -s checkwinsize
+
+# If set, the pattern "**" used in a pathname expansion context will
+# match all files and zero or more directories and subdirectories.
+#shopt -s globstar
+
+# make less more friendly for non-text input files, see lesspipe(1)
+#[ -x /usr/bin/lesspipe ] && eval "$(SHELL=/bin/sh lesspipe)"
+
+# set variable identifying the chroot you work in (used in the prompt below)
+if [ -z "${debian_chroot:-}" ] && [ -r /etc/debian_chroot ]; then
+    debian_chroot=$(cat /etc/debian_chroot)
+fi
+
+# set a fancy prompt (non-color, unless we know we "want" color)
+case "$TERM" in
+    xterm-color|*-256color) color_prompt=yes;;
+esac
+
+# uncomment for a colored prompt, if the terminal has the capability; turned
+# off by default to not distract the user: the focus in a terminal window
+# should be on the output of commands, not on the prompt
+force_color_prompt=yes
+
+if [ -n "$force_color_prompt" ]; then
+    if [ -x /usr/bin/tput ] && tput setaf 1 >&/dev/null; then
+	# We have color support; assume it's compliant with Ecma-48
+	# (ISO/IEC-6429). (Lack of such support is extremely rare, and such
+	# a case would tend to support setf rather than setaf.)
+	color_prompt=yes
+    else
+	color_prompt=
+    fi
+fi
+
+if [ "$color_prompt" = yes ]; then
+    PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '
+else
+    PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
+fi
+unset color_prompt force_color_prompt
+
+# If this is an xterm set the title to user@host:dir
+case "$TERM" in
+xterm*|rxvt*)
+    PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
+    ;;
+*)
+    ;;
+esac
+
+# enable color support of ls and also add handy aliases
+if [ -x /usr/bin/dircolors ]; then
+    test -r ~/.dircolors && eval "$(dircolors -b ~/.dircolors)" || eval "$(dircolors -b)"
+    alias ls='ls --color=auto'
+    alias dir='dir --color=auto'
+    alias vdir='vdir --color=auto'
+
+    alias grep='grep --color=auto'
+    alias fgrep='fgrep --color=auto'
+    alias egrep='egrep --color=auto'
+fi
+
+# colored GCC warnings and errors
+export GCC_COLORS='error=01;31:warning=01;35:note=01;36:caret=01;32:locus=01:quote=01'
+
+# some more ls aliases
+alias ll='ls -l'
+alias la='ls -A'
+#alias l='ls -CF'
+
+# Alias definitions.
+# You may want to put all your additions into a separate file like
+# ~/.bash_aliases, instead of adding them here directly.
+# See /usr/share/doc/bash-doc/examples in the bash-doc package.
+alias r=ranger
+alias gcc='gcc -O2 -lm'
+alias g++='g++ -O2 -lm'
+alias fpc='fpc -O1 -XS -gl'
+alias mpa='mpv --no-video --loop=inf'
+alias raku=perl6
+alias x='cd $HOME && startx && cd -'
+alias backup='rsync -avh --delete /home/ /data/Home/'
+eval $(thefuck --alias)
+
+function ipfs-cors {
+  ipfs config --json API.HTTPHeaders.Access-Control-Allow-Origin '["http://0.0.0.0:5001", "http://127.0.0.1:5001", "https://webui.ipfs.io"]'
+  ipfs config --json API.HTTPHeaders.Access-Control-Allow-Methods '["PUT", "GET", "POST"]'
+  systemctl restart --user ipfs
+}
+
+# enable programmable completion features (you don't need to enable
+# this, if it's already enabled in /etc/bash.bashrc and /etc/profile
+# sources /etc/bash.bashrc).
+if ! shopt -oq posix; then
+  if [ -f /usr/share/bash-completion/bash_completion ]; then
+    . /usr/share/bash-completion/bash_completion
+  elif [ -f /etc/bash_completion ]; then
+    . /etc/bash_completion
+  fi
+fi
+
+# emacs mode input
+set -o emacs
+
+export EDITOR=vim
+export PAGER=less
diff --git a/debian/.config/gtk-3.0/gtkcss b/debian/.config/gtk-3.0/gtkcss
new file mode 100644
index 0000000..e7ff883
--- /dev/null
+++ b/debian/.config/gtk-3.0/gtkcss
@@ -0,0 +1,4 @@
+.window-frame {
+  box-shadow: none;
+  margin: 0;
+}
diff --git a/debian/.config/gtk-3.0/settings.ini b/debian/.config/gtk-3.0/settings.ini
new file mode 100644
index 0000000..4635233
--- /dev/null
+++ b/debian/.config/gtk-3.0/settings.ini
@@ -0,0 +1,4 @@
+[Settings]
+gtk-font-name = Latin Modern Sans 11
+gtk-application-prefer-dark-theme = true
+gtk-key-theme-name = Emacs
diff --git a/debian/.fonts/DancingScript-Bold.ttf b/debian/.fonts/DancingScript-Bold.ttf
new file mode 100644
index 0000000..f1e0d65
--- /dev/null
+++ b/debian/.fonts/DancingScript-Bold.ttf
Binary files differdiff --git a/debian/.fonts/DancingScript-Regular.ttf b/debian/.fonts/DancingScript-Regular.ttf
new file mode 100644
index 0000000..72db835
--- /dev/null
+++ b/debian/.fonts/DancingScript-Regular.ttf
Binary files differdiff --git a/debian/.fonts/Inconsolata-Bold.ttf b/debian/.fonts/Inconsolata-Bold.ttf
new file mode 100644
index 0000000..809c1f5
--- /dev/null
+++ b/debian/.fonts/Inconsolata-Bold.ttf
Binary files differdiff --git a/debian/.fonts/Inconsolata-Regular.ttf b/debian/.fonts/Inconsolata-Regular.ttf
new file mode 100644
index 0000000..fc981ce
--- /dev/null
+++ b/debian/.fonts/Inconsolata-Regular.ttf
Binary files differdiff --git a/debian/.fonts/Pacifico-Regular.ttf b/debian/.fonts/Pacifico-Regular.ttf
new file mode 100644
index 0000000..ccbe0f3
--- /dev/null
+++ b/debian/.fonts/Pacifico-Regular.ttf
Binary files differdiff --git a/debian/.fonts/SansForgetica-Regular.otf b/debian/.fonts/SansForgetica-Regular.otf
new file mode 100644
index 0000000..27deedb
--- /dev/null
+++ b/debian/.fonts/SansForgetica-Regular.otf
Binary files differdiff --git a/debian/.fonts/SpaceMono-Bold.ttf b/debian/.fonts/SpaceMono-Bold.ttf
new file mode 100644
index 0000000..4acd36a
--- /dev/null
+++ b/debian/.fonts/SpaceMono-Bold.ttf
Binary files differdiff --git a/debian/.fonts/SpaceMono-BoldItalic.ttf b/debian/.fonts/SpaceMono-BoldItalic.ttf
new file mode 100644
index 0000000..0702475
--- /dev/null
+++ b/debian/.fonts/SpaceMono-BoldItalic.ttf
Binary files differdiff --git a/debian/.fonts/SpaceMono-Italic.ttf b/debian/.fonts/SpaceMono-Italic.ttf
new file mode 100644
index 0000000..8799738
--- /dev/null
+++ b/debian/.fonts/SpaceMono-Italic.ttf
Binary files differdiff --git a/debian/.fonts/SpaceMono-Regular.ttf b/debian/.fonts/SpaceMono-Regular.ttf
new file mode 100644
index 0000000..28d7ff7
--- /dev/null
+++ b/debian/.fonts/SpaceMono-Regular.ttf
Binary files differdiff --git a/debian/.fonts/VT323-Regular.ttf b/debian/.fonts/VT323-Regular.ttf
new file mode 100644
index 0000000..afa6909
--- /dev/null
+++ b/debian/.fonts/VT323-Regular.ttf
Binary files differdiff --git a/debian/.gtkrc-2.0 b/debian/.gtkrc-2.0
new file mode 100644
index 0000000..01f826b
--- /dev/null
+++ b/debian/.gtkrc-2.0
@@ -0,0 +1,3 @@
+gtk-font-name = "Latin Modern Sans 11"
+gtk-theme-name = "CleanIce-Marble"
+gtk-key-theme-name = "Emacs"
diff --git a/debian/.mailcap b/debian/.mailcap
new file mode 100644
index 0000000..6cca665
--- /dev/null
+++ b/debian/.mailcap
@@ -0,0 +1,69 @@
+# Example mailcap file for Reddit Terminal Viewer
+# https://github.com/michael-lazar/rtv/
+#
+# Copy the contents of this file to {HOME}/.mailcap, or point to using $MAILCAPS
+# Then launch RTV using the --enable-media flag. All shell commands defined in
+# this file depend on external programs that must be installed on your system.
+#
+# HELP REQUESTED! If you come up with your own commands (especially for OS X)
+# and would like to share, please post an issue on the GitHub tracker and we
+# can get them added to this file as references.
+#
+#
+#                              Mailcap 101
+# - The first entry with a matching MIME type will be executed, * is a wildcard
+# - %s will be replaced with the image or video url
+# - Add ``test=test -n "$DISPLAY"`` if your command opens a new window
+# - Add ``needsterminal`` for commands that use the terminal
+# - Add ``copiousoutput`` for commands that dump text to stdout
+
+###############################################################################
+# Commands below this point will open media in a separate window without
+# pausing execution of RTV.
+###############################################################################
+
+# Feh is a simple and effective image viewer
+# Note that rtv returns a list of urls for imgur albums, so we don't put quotes
+# around the `%s`
+image/x-imgur-album; feh %s; test=test -n "$DISPLAY"
+image/gif; mpv '%s' --loop=inf; test=test -n "$DISPLAY"
+image/*; feh '%s'; test=test -n "$DISPLAY"
+
+# Youtube videos are assigned a custom mime-type, which can be streamed with
+# vlc or youtube-dl.
+video/x-youtube; mpv '%s'; test=test -n "$DISPLAY"
+
+# Mpv is a simple and effective video streamer
+video/*; mpv '%s' --loop=inf; test=test -n "$DISPLAY"
+
+###############################################################################
+# Commands below this point will attempt to display media directly in the
+# terminal when X is not available.
+###############################################################################
+
+# View images directly in your terminal with iTerm2
+# curl -L https://iterm2.com/misc/install_shell_integration_and_utilities.sh | bash
+# image/*; curl -s %s | ~/.iterm2/imgcat && read -n 1; needsterminal
+
+# View true images in the terminal, supported by rxvt-unicode, xterm and st
+# Requires the w3m-img package
+image/*; w3m -o 'ext_image_viewer=off' '%s'; needsterminal
+
+# Don't have a solution for albums yet
+image/x-imgur-album; echo
+
+# 256 color images using half-width unicode characters
+# Much higher quality that img2txt, but must be built from source
+# https://github.com/rossy/img2xterm
+#image/*; curl -s '%s' | convert -resize 80x80 - jpg:/tmp/rtv.jpg && img2xterm /tmp/rtv.jpg; needsterminal; copiousoutput
+
+# Display images in classic ascii using img2txt and lib-caca
+image/*; curl -s '%s' | convert - jpg:/tmp/rtv.jpg && img2txt -f utf8 /tmp/rtv.jpg; needsterminal; copiousoutput
+
+# Full motion videos - requires a framebuffer to view
+video/x-youtube; mpv -vo drm -quiet '%s'; needsterminal
+video/*; mpv -vo drm -quiet '%s'; needsterminal
+
+# Ascii videos
+# video/x-youtube; youtube-dl -q -o - '%s' | mplayer -cache 8192 -vo caca -quiet -; needsterminal
+# video/*; wget '%s' -O - | mplayer -cache 8192 -vo caca -quiet -; needsterminal
diff --git a/debian/.profile b/debian/.profile
new file mode 100644
index 0000000..6c8b86e
--- /dev/null
+++ b/debian/.profile
@@ -0,0 +1,27 @@
+# ~/.profile: executed by the command interpreter for login shells.
+# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
+# exists.
+# see /usr/share/doc/bash/examples/startup-files for examples.
+# the files are located in the bash-doc package.
+
+# the default umask is set in /etc/profile; for setting the umask
+# for ssh logins, install and configure the libpam-umask package.
+#umask 022
+
+export GOPATH="$HOME/.local/share/go"
+export PATH="$HOME/.local/bin:$GOPATH/bin:$HOME/.cargo/bin:$HOME/.luarocks/bin:$PATH"
+export MANPATH="$HOME/.local/share/man:$MANPATH"
+export XMODIFIERS=@im=ibus
+#export WEBKIT_DISABLE_COMPOSITING_MODE=1
+export NLTK_DATA="$HOME/Sources/nlp/nltk_data"
+
+# if running bash
+if [ -n "$BASH_VERSION" ]; then
+    # include .bashrc if it exists
+    if [ -f "$HOME/.bashrc" ]; then
+        . "$HOME/.bashrc"
+    fi
+fi
+
+# OPAM configuration
+. /home/cnx/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
diff --git a/debian/.screenlayout/dual.sh b/debian/.screenlayout/dual.sh
new file mode 100755
index 0000000..e141199
--- /dev/null
+++ b/debian/.screenlayout/dual.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+xrandr --output HDMI2 --off --output HDMI1 --off --output DP1 --primary --mode 1600x900 --pos 1920x0 --rotate normal --output eDP1 --mode 1920x1080 --pos 0x0 --rotate normal --output VIRTUAL1 --off
diff --git a/debian/.screenlayout/single.sh b/debian/.screenlayout/single.sh
new file mode 100755
index 0000000..aede90f
--- /dev/null
+++ b/debian/.screenlayout/single.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+xrandr --output DP1 --off --output HDMI1 --off --output eDP1 --mode 1920x1080 --pos 0x0 --rotate normal --output HDMI2 --off
diff --git a/debian/.xinitrc b/debian/.xinitrc
new file mode 100644
index 0000000..598bd05
--- /dev/null
+++ b/debian/.xinitrc
@@ -0,0 +1,11 @@
+#!/bin/sh
+xrdb -merge ~/.Xresources
+xrandr --output DP1 --mode 1600x900 --primary --right-of eDP1
+redshift-gtk -l 21.028333:105.854167 &
+mate-power-manager &
+ibus-daemon -drx
+blueman-applet &
+nm-applet &
+keynav &
+diodon &
+exec awesome