Owncloud Setup Tutorial – Ubuntu 14.04 LTS – Bugfixes: php, utf8, untrusted, ssl, apache

1. Preparation – ubuntu 14.04 Long Time Support – Any Edition i386/amd64 –¬†VMware/Native Bootable USB Stick MAC OS X diskutil list diskutil unmountDisk /dev/disk2 hdiutil convert -format UDRW -o Downloads/ubuntu-14.04.2-server-i386 Downloads/ubuntu-14.04.2-server-i386.iso sudo dd if=Downloads/ubuntu-14.04.2-server-amd64.dmg of=/dev/rdisk2 bs=1m diskutil eject /dev/disk2 2. Install Ubuntu Switch to root user (sudo su root) apt-get update apt-get upgrade 2.1 Setup … [Read more…]

COQ – Calculus of Inductive Constructions – Sublime – OS X 10.10.X

0. Preparation As of OS X 10.10 the official coq IDE version (Coq 8.4pl5) is not working. 0.1 Install brew Enter your terminal ans execute: ruby -e “$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)” 0.2 Install coq brew install coq 0.3 Install coqide brew install¬†Caskroom/cask/coqide   1. Install “Sublime Package Control”: If for some reason the console installation instructions … [Read more…]