matteoferla

#!/usr/bin/env python3
# -*- coding: utf-8 -*-
__description__ = \
"""
A script to check if the IP address is running.
Use it add your settings to the fields below. 
Once you are sure you have all the right keys and it works, install an hour cron job thusly:     

    $sudo nano crontab -e
    0 * * * * python3 ~/Coding/IP_check/IP_check.py >> ~/Coding/IP_check/log.txt

vext01

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}" $*

henrik

tmux cheatsheet

As configured in my dotfiles.

start new:

tmux

start new with session name: