Update 2018-08-29

21 files changed, 277 insertions, 0 deletions

diff --git a/debian/.Xresources b/debian/.Xresources
new file mode 100644
index 0000000..8f12fa8
--- /dev/null
+++ b/debian/.Xresources
@@ -0,0 +1,27 @@
+*background:  #fbf1c7
+*foreground:  #3c3836
+*color0:      #fbf1c7
+*color1:      #cc241d
+*color2:      #98971a
+*color3:      #d79921
+*color4:      #458588
+*color5:      #b16286
+*color6:      #689d6a
+*color7:      #a89984
+*color8:      #928374
+*color9:      #9d0006
+*color10:     #79740e
+*color11:     #b57614
+*color12:     #076678
+*color13:     #8f3f71
+*color14:     #427b58
+*color15:     #3c3836
+*loginShell:  true
+*scrollBar:   false
+*saveLines:   1024
+*cursorBlink: false
+*jumpScroll:  true
+URxvt.termName: rxvt
+URxvt.font:   xft:Latin Modern Mono:size=12
+UXTerm*faceName:    Space Mono:size=9.5
+UXTerm.geometry:    80x25
diff --git a/debian/.bash_logout b/debian/.bash_logout
new file mode 100644
index 0000000..de4f5f7
--- /dev/null
+++ b/debian/.bash_logout
@@ -0,0 +1,7 @@
+# ~/.bash_logout: executed by bash(1) when login shell exits.
+
+# when leaving the console clear the screen to increase privacy
+
+if [ "$SHLVL" = 1 ]; then
+    [ -x /usr/bin/clear_console ] && /usr/bin/clear_console -q
+fi
diff --git a/debian/.bashrc b/debian/.bashrc
new file mode 100644
index 0000000..b22aa9f
--- /dev/null
+++ b/debian/.bashrc
@@ -0,0 +1,123 @@
+# ~/.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=1000
+HISTFILESIZE=2000
+
+# 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 gcc='gcc -O2 -lm'
+alias g++='g++ -O2 -lm'
+alias fpc='fpc -O1 -XS -gl'
+alias mpa='mpv --no-video --loop=inf'
+alias mpvx='mpv --wid=$WINDOWID --vo=xv'
+alias mount='udevil mount'
+alias umount='udevil umount'
+alias flare='DBUS_FATAL_WARNINGS=0 flare'
+
+# 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..80d630a
--- /dev/null
+++ b/debian/.config/gtk-3.0/settings.ini
@@ -0,0 +1,2 @@
+[Settings]
+gtk-font-name = Latin Modern Sans 11
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/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..be8dc8e
--- /dev/null
+++ b/debian/.gtkrc-2.0
@@ -0,0 +1 @@
+gtk-font-name = "Latin Modern Sans 11"
diff --git a/debian/.mailcap b/debian/.mailcap
new file mode 100644
index 0000000..b54b674
--- /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..caf2bc0
--- /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
+
+# if running bash
+if [ -n "$BASH_VERSION" ]; then
+    # include .bashrc if it exists
+    if [ -f "$HOME/.bashrc" ]; then
+        . "$HOME/.bashrc"
+    fi
+fi
+
+PATH="$HOME/.local/bin:$HOME/.local/share/go/bin:$PATH"
+export MANPATH="$HOME/.local/share/man:$MANPATH"
+export GOPATH="$HOME/.local/share/go"
+export XMODIFIERS=@im=ibus
+export WEBKIT_DISABLE_COMPOSITING_MODE=1
+export NLTK_DATA="$HOME/Sources/nlp/nltk_data"
+
+# 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..589782b
--- /dev/null
+++ b/debian/.screenlayout/dual.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+xrandr --output VGA-0 --primary --mode 1600x900 --pos 1280x0 --rotate normal --output LVDS --mode 1280x800 --pos 0x0 --rotate normal --output S-video --off
diff --git a/debian/.screenlayout/single.sh b/debian/.screenlayout/single.sh
new file mode 100755
index 0000000..8040932
--- /dev/null
+++ b/debian/.screenlayout/single.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+xrandr --output VGA-0 --off --output LVDS --primary --mode 1280x800 --pos 0x0 --rotate normal --output S-video --off
diff --git a/debian/.xinitrc b/debian/.xinitrc
new file mode 100644
index 0000000..e897a24
--- /dev/null
+++ b/debian/.xinitrc
@@ -0,0 +1,13 @@
+#!/bin/sh
+cd $HOME
+xrdb -merge ~/.Xresources
+setxkbmap -option caps:ctrl_modifier
+xrandr --output VGA-0 --mode 1600x900 --primary --right-of LVDS
+synclient TapButton1=1 VertEdgeScroll=1 HorizEdgeScroll=1 VertTwoFingerScroll=0
+keynav &
+redshift-gtk &
+ibus-daemon -drx
+connman-ui-gtk &
+clipit &
+exec awesome
+cd -