Skip to content

Instantly share code, notes, and snippets.

RichardPovinelli

Block or report user

Report or block RichardPovinelli

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@RichardPovinelli
RichardPovinelli / baseInstall
Created Nov 26, 2012
Ubuntu initial apt-get install
View baseInstall
#!/bin/sh
# baseInstall
add-apt-repository -y ppa:yannubuntu/boot-repair
add-apt-repository -y ppa:danielrichter2007/grub-customizer
add-apt-repository -y ppa:weather-indicator-team/ppa
add-apt-repository -y ppa:hugin/hugin-builds
add-apt-repository -y ppa:tualatrix/ppa
apt-get update
apt-get install -y boot-repair
apt-get install -y grub-customizer
View .bash_aliases
#!/bin/sh
# .bash_aliases
alias la='ls -alh'
alias lal='ls -alh | less'
alias h='history'
#strips off current comment from history so it doesn't show up
alias hg='history | head -$((`history | wc -l` - 1)) | grep -i '
@RichardPovinelli
RichardPovinelli / .bashrc
Created Nov 19, 2012 — forked from RichardPovinelli/.bashrc
.bashrc for OS X
View .bashrc
#!/bin/sh
# .bashrc
# Source global definitions
if [ -f /etc/bashrc ]; then
. /etc/bashrc
fi
# Remove duplicates and unwanted commands in the bash history
if [ "$SHLVL" = 1 ]; then
View .bash_aliases
#!/bin/sh
# .bash_aliases
# enable color support of ls and also add handy aliases
if [ -x /usr/bin/dircolors ]; then
test -r ~/.dircolors && eval "$(dircolors -b ~/.dircolors)" || eval "$(dircolors -b)"
alias ls='ls --color=auto'
alias grep='grep --color=auto'
alias fgrep='fgrep --color=auto'
alias egrep='egrep --color=auto'
View .bashrc
#!/bin/sh
# .bashrc
# Source global definitions
if [ -f /etc/bashrc ]; then
. /etc/bashrc
fi
# Remove duplicates and unwanted commands in the bash history
if [ "$SHLVL" = 1 ]; then
@RichardPovinelli
RichardPovinelli / firmware.c
Created Oct 30, 2012
Paul's working vex usart i/o
View firmware.c
#include <OpenVex.h>
#include "firmware.h"
#include "interrupts.h"
void resetHeartBeat(void);
unsigned char usartDataReady(void);
int usartGetChar(char * c);
unsigned char c = 0;
@RichardPovinelli
RichardPovinelli / gnome-terminal-zenburn.sh
Created Oct 20, 2012 — forked from planbnet/gnome-terminal-zenburn.sh
Zenburn color scheme for gnome-terminal
View gnome-terminal-zenburn.sh
#!/usr/bin/env bash
dir=$(dirname $0)
gconfdir=/apps/gnome-terminal/profiles
echo # This makes the prompts easier to follow (as do other random echos below)
########################
### Select a profile ###
########################
You can’t perform that action at this time.