Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

View jc-torresp's full-sized avatar

jc-torresp

  • Nextext
  • Monterrey, México
View GitHub Profile
@jc-torresp
jc-torresp / QuakeTerminal.ahk
Created September 21, 2019 03:45
AutoHotkey script for Quake style console on Windows (Ubuntu terminal)
; Change your hotkey here (Default Win + ~)
#SC029::
DetectHiddenWindows, on
IfWinExist ahk_exe ubuntu.exe
{
IfWinActive ahk_exe ubuntu.exe
{
WinHide ahk_exe ubuntu.exe
@jc-torresp
jc-torresp / FindAHKClass.ahk
Created September 21, 2019 03:53
AutoHotkey script to copy the ahk_class of the Active Window to clipboard
; Hotkey = Win + 1
#1::WinGetClass, Clipboard, A
@jc-torresp
jc-torresp / build-git.sh
Created September 21, 2019 04:07
Compile git with openssl instead of gnutls (Tested on Windows Subsystem for Linux)
#!/usr/bin/env bash
# Clear out all previous attempts
rm -rf "/tmp/source-git/"
#before apt-get update source list under /etc/apt/sources.list
#deb-src http://archive.ubuntu.com/ubuntu trusty main restricted #Added by software-properties
#deb-src http://gb.archive.ubuntu.com/ubuntu/ trusty restricted main universe multiverse #Added by software-properties
#deb-src http://gb.archive.ubuntu.com/ubuntu/ trusty-updates restricted main universe multiverse #Added by software-properties
#deb-src http://gb.archive.ubuntu.com/ubuntu/ trusty-backports main restricted universe multiverse #Added by software-properties
@jc-torresp
jc-torresp / access-pi-anywhere.md
Created September 21, 2019 05:12
Configuration to access Raspberry Pi from anywhere with UPnP port forwarding

Access Raspberry Pi from anywhere

Dynamic DNS

We need to use so called Dynamic DNS (DDNS) to create and dynamically update a mapping between a chosen domain name and an “external” IP address of our Raspberry Pi (i.e. router IP address).

  • Look for a DDNS provider.
  • Register a new user account.
  • Choose a desire domain name.
  • Configure it on router.
@jc-torresp
jc-torresp / raspberry-pi-plex-server.md
Last active April 22, 2024 22:59
Setup a Raspberry Pi Plex Media Server (Including external storage media and Windows to Raspbian migration)

Raspberry Pi Plex Server

Installation

Ensure our operating system is entirely up to date:

sudo apt-get update
sudo apt-get upgrade