Development / Tutorials

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 Network nano /etc/network/interfaces Edit according to your settings: auto eth0 iface eth0 inet static address 192.168.0.200 netmask 255.255.0.0 gateway 192.168.0.1 dns-nameservers 192.168.0.1 192.168.0.1 3. Database - mysql apt get-install apache2 php5 php5-mysql MySQL Setup: user: root password: password mysql -u root -p create database dbname; CREATE…

1 Comment
March 18, 2015
Development / Mac OS / Tutorials

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 do not work for you (such as having a proxy on your network), perform the following steps to manually install Package Control: Click the Preferences > Browse Packages… menu Browse up a folder and then into the Installed Packages/ folder Download Package Control.sublime-package and copy it into the Installed Packages/ directory Restart Sublime Text 2.…

0 Comments
March 18, 2015