dichotomies

Pipe: combine wget and gunzip

wget -O - http://comopt.ifi.uni-heidelberg.de/software/TSPLIB95/tsp/pcb442.tsp.gz | gunzip > x.tsp

-O - means: Outputfile "None", write to console (such that gunzip gets name)

dichotomies

set -g mouse on
set -g default-terminal "screen-256color"

dichotomies

" set nocompatible              " be iMproved, required
filetype off                  " required

" set the runtime path to include Vundle and initialize
set rtp+=~/.vim/bundle/Vundle.vim
call vundle#begin()
" alternatively, pass a path where Vundle should install plugins
"call vundle#begin('~/some/path/here')

" let Vundle manage Vundle, required

dichotomies

" use clipboard of either osx or other unix derivatives
if has("unix")
    let s:uname = system("uname")
    set clipboard=unnamedplus " for ubuntu, ...
    if s:uname == "Darwin\n"
        " Do Mac stuff here
        set clipboard=unnamed " need other clipboard
    endif
endif

dichotomies

" Vim syntax file
" Language:	Python
" Maintainer:	Zvezdan Petkovic <[email protected]>
" Last Change:	2015 Sep 15
" Credits:	Neil Schemenauer <[email protected]>
"		Dmitry Vasiliev
"
"		This version is a major rewrite by Zvezdan Petkovic.
"
"		- introduced highlighting of doctests

dichotomies

" enable pathogen package manager
" filetype off

" call pathogen#infect()
" call pathogen#helptags()

" set nocompatible
" filetype off
" set rtp+=~/.vim/bundle/vundle/
" call vundle#rc()