Ocramius

:80 {
    root /serve
}

mpneuried

# import config.
# You can change the default config with `make cnf="config_special.env" build`
cnf ?= config.env
include $(cnf)
export $(shell sed 's/=.*//' $(cnf))

# import deploy config
# You can change the default deploy config with `make cnf="deploy_special.env" release`
dpl ?= deploy.env
include $(dpl)

hranicka

<?php

function doFlush()
{
	if (!headers_sent()) {
		// Disable gzip in PHP.
		ini_set('zlib.output_compression', 0);

		// Force disable compression in a header.
		// Required for flush in some cases (Apache + mod_proxy, nginx, php-fpm).

niksumeiko

#!/bin/bash
# Sometimes you need to move your existing git repository
# to a new remote repository (/new remote origin).
# Here are a simple and quick steps that does exactly this.
#
# Let's assume we call "old repo" the repository you wish
# to move, and "new repo" the one you wish to move to.
#
### Step 1. Make sure you have a local copy of all "old repo"
### branches and tags.