Skip to content

Instantly share code, notes, and snippets.

View mnofresno's full-sized avatar
🏠
Working from home

Mariano Martín Fresno mnofresno

🏠
Working from home
View GitHub Profile
@mnofresno
mnofresno / server_status_report.php
Created June 2, 2018 14:17
Informe automático del estado de un servidor
function TotalDisco($disco)
{
}
function UsadoDisco($disco)
{
}
@mnofresno
mnofresno / .bash_profile
Last active December 19, 2017 12:45
This Gist is a bash Script that opens ssh-agent and help to avoid inserting private key every day works in Windows/Linux
# Config Vars
private_key_path=/c/Users/myUser/my_private.key
dev_files_path=/d/my/dev/directory
key_expiration_ttl=28800
# Compute config filename with current date
current_date=$(date +"%Y%m%d")
SSH_ENV="$TEMP/environment_$current_date"
# Set up ssh-agent
@mnofresno
mnofresno / RestEngine.gs
Last active November 17, 2017 14:15
REST logic script for google APPs Script
var DOC_ID = ""; // Add spreadsheet ID
var SHEET_NAME = "Sheet1"; // Add spreadsheet name
var setDocAndSheet = function(request)
{
if(request.parameters.docId !== undefined) DOC_ID = request.parameters.docId;
if(request.parameters.sheetName !== undefined) SHEET_NAME = request.parameters.sheetName;
};
var requestHasId = function(request)
@mnofresno
mnofresno / radios_nacionales.txt
Created October 7, 2017 13:12 — forked from pisculichi/radios_nacionales.txt
URLs de radios nacionales de Argentina, para poder escuchar en la terminal con mplayer o vlc
# alias radio='function __radio(){ r=`grep -v "#" radios_nacionales.txt | grep -m 1 -i $1 | cut -d" " -f1`; cvlc $r 2> /dev/null; }; __radio'
# podria utilizarse mplayer en vez de vlc
AMs Nacionales
http://200.68.81.65:8000/am530 Radio Madre 530
http://www.servidorstreaming1.com:9962/; Radio Colonia 550
http://195.154.182.222:25223/live.mp3 Radio Argentina 570
http://18683.live.streamtheworld.com/CONTINENTAL_SC Continental 590
http://38.107.243.197:9639/live Rivadavia 630