This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\usepackage{algorithm} | |
\usepackage{algorithmic} | |
\usepackage{amssymb} | |
\algsetup{indent=2em} | |
\newcommand{\factorial}{\ensuremath{\mbox{\sc Factorial}}} | |
\newcommand{\emit}{\ensuremath{\mbox{\sc Emit}}} | |
\begin{algorithm}[h!] \caption{$\factorial(n)$}\label{alg:factorial} \begin{algorithmic}[1] | |
\REQUIRE An integer $n \geq 0$. \ENSURE The value of $n!$. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/Makefile.am b/Makefile.am | |
index 5efcea7..23f8311 100644 | |
--- a/Makefile.am | |
+++ b/Makefile.am | |
@@ -2,6 +2,8 @@ SUBDIRS = src unittest bin | |
EXTRA_DIST = README ChangeLog AUTHORS COPYING INSTALL NEWS sumo.doxyconf | |
+ACLOCAL_AMFLAGS = -I m4 | |
+ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
require 'github_api' | |
require 'pry' | |
raise Exception, "provide your oauth token" if ARGV.empty? | |
def fetch_repos(github, org) | |
github.repos.list(org: org, type: 'all', auto_pagination: true).map(&:name) | |
end | |
def filter_plugins(repos) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# -*- mode: ruby -*- | |
# vi: set ft=ruby : | |
# Vagrantfile API/syntax version. Don't touch unless you know what you're doing! | |
VAGRANTFILE_API_VERSION = "2" | |
Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| | |
# Every Vagrant virtual environment requires a box to build off of. | |
config.vm.box = "99designs/ubuntu-docker" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# from the dev branch | |
git branch --merged | grep -Ev "(\*|release)" | xargs git branch -d |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# remove stopped containers | |
docker rm -f $(docker ps -a -q) | |
# remove untagged images | |
docker rmi `docker images | grep '^<none>' | awk '{ print $3 }'` | |
# or both | |
docker ps -a -q | xargs docker rm -f && docker images | grep '^<none>' | awk '{ print $3 }' | xargs docker rmi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
git checkout $SHA && git reset --hard && git clean -dxf |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
root@ocean:~# ifconfig eth0 | grep 'inet addr:' | cut -d: -f2 | awk '{print $1;}' | |
=> 80.240.142.239 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
curl -L http://127.0.0.1:4001/v2/keys/_etcd/machines |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
10130 cd Desktop | |
10132 brew list | |
10134 rm brews.txt | |
10135 brew list > ~/Desktop/brews.txt | |
10136 cat brews.txt | |
10137 cd `brew --prefix` | |
10138 rm -rf Cellar | |
10139 brew prune | |
10140 rm -rf Library .git .gitignore bin/brew README.md share/man/man1/brew | |
10141 rm -rf ~/Library/Caches/Homebrew |
OlderNewer