Skip to content

Instantly share code, notes, and snippets.

View robrecord's full-sized avatar

Hello world robrecord

View GitHub Profile
@robrecord
robrecord / gist:4139278
Created November 24, 2012 11:29 — forked from anonymous/gist:4136349
brew php54 install failure on 10.7.5 - part 1
$ php -v
PHP 5.3.15 with Suhosin-Patch (cli) (built: Jul 31 2012 14:49:18)
Copyright (c) 1997-2012 The PHP Group
Zend Engine v2.3.0, Copyright (c) 1998-2012 Zend Technologies
with Xdebug v2.1.2, Copyright (c) 2002-2011, by Derick Rethans
$ brew -v
@robrecord
robrecord / gist:4139282
Created November 24, 2012 11:32 — forked from anonymous/gist:4136349
brew php54 install failure on 10.7.5 - part 2
$ brew install php54 --with-mysql --with-imap --with-tidy --with-homebrew-openssl
==> Installing php54 dependency: pkg-config
==> Downloading https://downloads.sf.net/project/machomebrew/Bottles/pkg-config-0.27.1.lion.bottle.tar.gz
######################################################################## 100.0%
==> Pouring pkg-config-0.27.1.lion.bottle.tar.gz
/usr/local/Cellar/pkg-config/0.27.1: 9 files, 624K
==> Installing php54 dependency: curl
==> Downloading http://curl.haxx.se/download/curl-7.28.0.tar.gz
######################################################################## 100.0%
==> ./configure --prefix=/usr/local/Cellar/curl/7.28.0
-- delete any usermeta specific to the other subsites
delete from wp_usermeta where meta_key regexp '^wp_([0-9]+)_';
-- duplicate the wp_usermeta structure in a working data table,
-- but add a unique index for filtering out duplicates
create table _fix_usermeta like wp_usermeta;
-- fix to allow larger keys on InnoDB
set global innodb_large_prefix = 1;
set global innodb_file_format = BARRACUDA;
alter table _fix_usermeta ENGINE=InnoDB;
@robrecord
robrecord / pandoc-bulk.sh
Last active August 25, 2018 12:33 — forked from hugorodgerbrown/md_to_rst.sh
Shell script for converting a batch of files using pandoc. This script will take two arguments: source extension, and target extension. pandoc will attempt to guess the formats.
# pandoc-bulk.sh
#
# This script was created to convert a directory full
# of files into a different format. It uses pandoc to do the conversion.
#
# 1. Install pandoc from http://johnmacfarlane.net/pandoc/
# 2. Copy this script into the directory containing the files
# 3. Ensure that the script has execute permissions: chmod +x pandoc-bulk.sh
# 4. Run the script
#