vpeopleonatank

Screencapture and animated gifs

I say "animated gif" but in reality I think it's irresponsible to be serving "real" GIF files to people now. You should be serving gfy's, gifv's, webm, mp4s, whatever. They're a fraction of the filesize making it easier for you to deliver high fidelity, full color animation very quickly, especially on bad mobile connections. (But I suppose if you're just doing this for small audiences (like bug reporting), then LICEcap is a good solution).

Capturing (Easy)

Launch quicktime player
do Screen recording

Vim+Zathura+Synctex

In a script called 'vimura':

#!/bin/sh
echo $1
zathura -s -x "gvim --servername $1 -c \"let g:syncpdf='$1'\" --remote +%{line} %{input}" $*

PdfLatex is a tool that converts Latex sources into PDF. This is specifically very important for researchers, as they use it to publish their findings. It could be installed very easily using Linux terminal, though this seems an annoying task on Windows. Installation commands are given below.

Install the TexLive base

sudo apt-get install texlive-latex-base

Also install the recommended and extra fonts to avoid running into the error [1], when trying to use pdflatex on latex files with more fonts.

	# ----------------------
	# Status Bar
	# -----------------------
	set-option -g status on # turn the status bar on
	set -g status-utf8 on # set utf-8 for the status bar
	set -g status-interval 5 # set update frequencey (default 15 seconds)
	set -g status-justify centre # center window list for clarity
	# set-option -g status-position top # position the status bar at top of screen

	# visual notification of activity in other windows

	# -- coding: utf-8 --

	##########################################################################
	# YouCompleteMe configuration for ROS #
	# Author: Gaël Ecorchard (2015) #
	# #
	# The file requires the definition of the $ROS_WORKSPACE variable in #
	# your shell. #
	# Name this file .ycm_extra_conf.py and place it in $ROS_WORKSPACE to #
	# use it. #


	# the IP(s) on which your node server is running. I chose port 3000.
	upstream app_geoforce {
	server 127.0.0.1:3000;
	}

	upstream app_pcodes{
	server 127.0.0.1:3001;
	}

	##############################
	## Java
	##############################
	.mtj.tmp/
	*.class
	*.jar
	*.war
	*.ear
	*.nar
	hs_err_pid*

	// As seen on http://www.di.uniba.it/~reti/LabProRete/Interazione(TCP)Client-Server_Portabile.pdf
	#if defined WIN32
	#include <winsock.h>
	#else
	#define closesocket close
	#include <sys/socket.h>
	#include <arpa/inet.h>
	#include <unistd.h>
	#endif
	#include <stdio.h>

	"""
	YouCompleteMe extra configuration for Platformio based
	projects.

	Based on the `.ycm_extra_conf.py` by @ladislas in his Bare-Arduino-Project.

	Anthony Ford <github.com/ajford>

	"""
	import os