GuiSevero

import React, { useContext, useState } from 'react';

function useCounterContext() {
  const [counter, setCounter] = useState(0);

  return {
    counter,
    setCounter,
  } as const;
}

GuiSevero

#!/bin/bash

set -e
set -u
set -o pipefail

prefix="[email protected]:mygroup"

target="$1"
shift

GuiSevero

sass/
|
|– base/
|   |– _reset.scss       # Reset/normalize
|   |– _typography.scss  # Typography rules
|   ...                  # Etc…
|
|– components/
|   |– _buttons.scss     # Buttons
|   |– _carousel.scss    # Carousel

GuiSevero

echo "Patch file controller.sh"
TEMP_FILE=$(mktemp)
echo<<EOF >$(TEMPFILE)
8c8
< JAVA_TOOL=${JRE_HOME}/bin/java
---
> JAVA_TOOL=java
68c68
< 	${PORTT_TOOL} 127.0.0.1 8088 500
---

GuiSevero

#!/bin/bash

if [[ $EUID -ne 0 ]]; then
    echo "This script must be run using sudo or as the root user."
    exit 1
fi

echo "EAP Controller on Raspberry Pi"
echo "=============================="
echo "Author: Arthur Gay <[email protected]>"

GuiSevero

unbindall
bind "1" "slot1"
bind "2" "slot2"
bind "3" "slot3"
bind "4" "slot4"
bind "5" "slot5"
bind "6" "slot6"
bind "9" "slot9"
bind "a" "+moveleft"
bind "b" "buymenu"

GuiSevero

Raspberry Pi VPN Router

This is a quick-and-dirty guide to setting up a Raspberry Pi as a "router on a stick" to PrivateInternetAccess VPN.

Requirements

Install Raspbian Jessie (2016-05-27-raspbian-jessie.img) to your Pi's sdcard.

Use the Raspberry Pi Configuration tool or sudo raspi-config to:

GuiSevero

unbindall
bind "1" "slot1"
bind "2" "slot2"
bind "3" "slot3"
bind "4" "slot4"
bind "5" "slot5"
bind "6" "slot6"
bind "9" "slot9"
bind "a" "+moveleft"
bind "b" "buymenu"

GuiSevero

set PATH=%PATH%;C:\Program Files\TortoiseSVN\bin

git stash: svn diff > patch_name.patch; svn revert -R .
git stash apply: patch patch_name.patch

based on stackoverflow answer: http://stackoverflow.com/questions/1554278/temporarily-put-away-uncommited-changes-in-subversion-a-la-git-stash

GuiSevero

<?php
     function curPageURL()
   {
        preg_match('/index.php[\/]*(.*)/', ( ! empty($_SERVER['SUPHP_URI'])) ? $_SERVER['SUPHP_URI'] : $_SERVER['PHP_SELF'], $match);
        $protocol = (isset($_SERVER['HTTPS'])) ? 's' : '';
        $base_url = preg_split("/\?/", str_ireplace(((isset($match[1])) ? trim($match[1], '/') : ''), '', urldecode(trim((( ! empty($_SERVER['REQUEST_URI'])) ? $_SERVER['REQUEST_URI'] : '/'), '/'))));
        $port = (isset($_SERVER['SERVER_PORT']) AND $_SERVER['SERVER_PORT'] != 80) ? ':'.$_SERVER['SERVER_PORT'] : ''; 
        $url = trim(sprintf("http".$protocol."://%s/%s", (( ! empty($_SERVER['HTTP_HOST'])) ? $_SERVER['HTTP_HOST'] : 'localhost'.$port), reset($base_url)),'/') . '/';
        return $url;
    }