David Havard davidhavard

davidhavard / mysql-docker.sh

Created October 2, 2018 09:41 — forked from spalladino/mysql-docker.sh

Backup and restore a mysql database from a running Docker mysql container

	# Backup
	docker exec CONTAINER /usr/bin/mysqldump -u root --password=root DATABASE > backup.sql

	# Restore
	cat backup.sql \| docker exec -i CONTAINER /usr/bin/mysql -u root --password=root DATABASE

davidhavard / gist:10a246aa90f808d5f2fc87134a18a280

Created April 20, 2018 14:35

Recursively extract image urls from html files, sort them and remove duplicates

grep -roP '<img.+src="\K[^"]+' * | sed 's/.*://g' | sort | uniq > images.txt

davidhavard / mysql-workbench-export-fix-on-arch.sh

Created July 26, 2017 09:21

Fixes "unknown option set-gtid-purged" error when exporting from MySql Workbench

	# Comment out the section that sets the problem flag
	sed -e '/Sets the compatibility parameters if needed/,+2 s/^#*/#/' -i /usr/lib/mysql-workbench/modules/wb_admin_export.py

davidhavard / gist:cef9878ede56fd219c46c545e82ec809

Last active February 1, 2017 11:55

Basic git hook to check for Jira issue number in commit message

	#!/bin/bash

	#
	# Create commit hook for all git repos
	# to check for JIRA ticket number in
	# commit message
	#
	# INSTALL:
	#
	# sh -c "$(curl -fsSL https://gist.github.com/davidhavard/cef9878ede56fd219c46c545e82ec809/raw/gistfile1.txt)"