I recently found a nice emacs-mode, [irony-mode], which can be used with [company-mode], [flycheck-mode], and [eldoc-mode]. It works nicely with CMake-based projects. The document contains a list of instructions for setting things up. I assume that you're using a fresh-installed Ubuntu-12.04.5 (64-bit). It uses [Lean theorem prover][lean] as an example project.
| // Use Gists to store code you would like to remember later on | |
| console.log(window); // log the "window" object to the console |
| // | |
| // libuuid sample program | |
| // | |
| // library install for debian | |
| // $ sudo apt-get install uuid-dev | |
| // | |
| // compile | |
| // $ gcc uuid_test.c -luuid -o uuid_test | |
| // | |
| #include <stdio.h> |
This is a collection of the most common commands I run while administering Postgres databases. The variables shown between the open and closed tags, "<" and ">", should be replaced with a name you choose. Postgres has multiple shortcut functions, starting with a forward slash, "". Any SQL command that is not a shortcut, must end with a semicolon, ";". You can use the keyboard UP and DOWN keys to scroll the history of previous commands you've run.
http://www.postgresql.org/download/linux/ubuntu/ https://help.ubuntu.com/community/PostgreSQL
| while true | |
| do | |
| rsync -avz ./ user@host:remote/directory/ | |
| inotifywait -r ./ | |
| done |
Once in a while, you may need to cleanup resources (containers, volumes, images, networks) ...
// see: https://github.com/chadoe/docker-cleanup-volumes
$ docker volume rm $(docker volume ls -qf dangling=true)
$ docker volume ls -qf dangling=true | xargs -r docker volume rm
Once in a while, you may need to cleanup resources (containers, volumes, images, networks) ...
// see: https://github.com/chadoe/docker-cleanup-volumes
$ docker volume rm $(docker volume ls -qf dangling=true)
$ docker volume ls -qf dangling=true | xargs -r docker volume rm
Getting started:
Related tutorials:
| # Reference: | |
| https://www.cloudgear.net/blog/2015/5-minutes-kubernetes-setup/ | |
| # install homebrew and cask | |
| ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" | |
| # install virtualbox | |
| brew cask install virtualbox | |
| # install dockertoolbox |
| #! /usr/bin/bash | |
| # ncp - Netcat and Pigz based network file copy (faster than scp, but unencrypted) | |
| # From this blog post | |
| # http://intermediatesql.com/linux/scrap-the-scp-how-to-copy-data-fast-using-pigz-and-nc/ | |
| FILE_FULL=$1 | |
| REMOTE_HOST=$2 | |
| FILE_DIR=$(dirname $FILE_FULL) |