Ed Rackham a1phanumeric

## index.php
 if(empty($_SERVER['HTTPS']) || $_SERVER['HTTPS'] == "off"){
  $redirect = 'https://' . $_SERVER['HTTP_HOST'] . $_SERVER['REQUEST_URI'];
  header('HTTP/1.1 301 Moved Permanently');
  header('Location: ' . $redirect);
  exit();
 }

## gist:5474848
httrack "http://domain.com/path/?querystring" '-*' '+http://domain.com/path/*' -v

## gist:5442288
find /home/*/www/lib -name "functions.php" -exec grep --color -H -n "functionName" {} \;

## gist:5346170
grep -r --color --exclude-dir={custom,lib,scripts} --exclude={*.xml,error_log} "beta" .

## gist:5293430
egrep -o 'dovecot_login[^ ]+' /var/log/exim_mainlog | sort|uniq -c|sort -nk 1

## batch_ai_to_svg.jsx
#target illustrator

var  sourceDir,
		destDir,
		files,
		sourceDoc;

sourceDir = Folder.selectDialog( 'Select the import directory.', '~' );
destDir = Folder.selectDialog( 'Select the export directory.', sourceDir.sourceDir );

## gist:4491744
xattr -cr .

## gist:4491730
find /path/to/dir/* -type f -exec sed -i '' 's/FIND_STRING/REPLACE_STRING/g' {} \;

## gist:4284225
pgrep -fl filename.php

# returns something like:
# 4676 /usr/bin/php /path/to/file.php

## gist:4284074
<?php
// Removes files older than a day

$dir = '/path/to/dir';

if ($handle = opendir($dir)) {
  while (false !== ($file = readdir($handle))) {

		$filelastmodified = filemtime($dir . '/' . $file);
		$filetype					= filetype($dir . '/' . $file);
	if(empty($_SERVER['HTTPS']) \|\| $_SERVER['HTTPS'] == "off"){
	$redirect = 'https://' . $_SERVER['HTTP_HOST'] . $_SERVER['REQUEST_URI'];
	header('HTTP/1.1 301 Moved Permanently');
	header('Location: ' . $redirect);
	exit();
	}
	#target illustrator

	var sourceDir,
	destDir,
	files,
	sourceDoc;

	sourceDir = Folder.selectDialog( 'Select the import directory.', '~' );
	destDir = Folder.selectDialog( 'Select the export directory.', sourceDir.sourceDir );
	pgrep -fl filename.php

	# returns something like:
	# 4676 /usr/bin/php /path/to/file.php
	<?php
	// Removes files older than a day

	$dir = '/path/to/dir';

	if ($handle = opendir($dir)) {
	while (false !== ($file = readdir($handle))) {

	$filelastmodified = filemtime($dir . '/' . $file);
	$filetype = filetype($dir . '/' . $file);