Skip to content

Instantly share code, notes, and snippets.

@opello
opello / echofon_for_twitter-2.5.2-fx-jahiy-8-closebutton-fix.patch
Created May 1, 2014 15:02
Echofon for Firefox close button style fix
diff --git a/chrome/Echofon/content/toolbar.xml b/chrome/Echofon/content/toolbar.xml
index 6bd7ab2..545a2f6 100644
--- a/chrome/Echofon/content/toolbar.xml
+++ b/chrome/Echofon/content/toolbar.xml
@@ -36,7 +36,7 @@
</xul:toolbarbutton>
</xul:hbox>
<xul:spacer flex="1"/>
- <xul:toolbarbutton class="echofon-tabs-closebutton tabs-closebutton" oncommand="toggleSidebar();" xbl:inherits="hidden=noclosebutton"/>
+ <xul:toolbarbutton class="echofon-tabs-closebutton tab-close-button close-icon" oncommand="toggleSidebar();" xbl:inherits="hidden=noclosebutton"/>
@opello
opello / fix-prefix.sh
Created June 17, 2013 20:44
Fix GRUB 2.00 prefix= variables to make it relocatable. Execute at the base of the prefix after it's been copied to the new destination. e.g. rsync -a user@host:dev/install/grub/ ./grub; cd grub; ./fix-prefix.sh; ./bin/grub-install ...
#!/bin/sh
for f in $(grep -r '^prefix="' . | cut -d: -f 1); do
sed -r -i 's#^prefix=".*#prefix="'$PWD'"#g' $f
done
@opello
opello / make-user-accounts.sh
Created June 13, 2013 01:05
Helper scripts for managing student user accounts in a Linux environment. Teacher accounts are manually created, and can be setup in sudoers to have access to student accounts.
#!/bin/bash
PREFIX=$1
COUNT=$2
PASS=$3
# validation
if [ $# -ne 3 ]; then
echo "Usage: $0 <prefix> <count> <password>"
exit
using System;
using System.Collections.Generic;
using System.Text;
using Microsoft.Web.Administration;
namespace ConsoleApplication1
{
class Program
{
@opello
opello / youtube.lua
Created September 28, 2012 00:25
VLC YouTube Plugin
--[[
$Id$
Copyright © 2007-2012 the VideoLAN team
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
@opello
opello / RSS-date-fix.patch
Created October 27, 2010 04:35
Modified for use on my LUG's wiki, these are the changes I had to make to get 'pubDate' elements from Google Groups to format correctly
diff -ur RSS.orig/RSS.php RSS/RSS.php
--- RSS.orig/RSS.php 2010-10-26 21:16:18.000000000 -0500
+++ RSS/RSS.php 2010-10-27 00:21:22.000000000 -0500
@@ -199,8 +199,13 @@
$title = htmlspecialchars( trim( iconv( $charset, $wgOutputEncoding, $item['title'] ) ) );
if ( $date ) {
- $pubdate = trim( iconv( $charset, $wgOutputEncoding, $item['pubdate'] ) );
- $pubdate = date( $date, strtotime( $pubdate ) );
+ if ( isset( $item['date_timestamp'] ) ) {