#!/bin/sh
# Depende del usuario bajo el cual se ha de ejecutar el demonio
USER_DB=mysql
# Los directorios y archivos deben permitir a $USER_DB el acceso a lectura y escritura
DATADIR_DB=/home/mysql/instancia1
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Requested gist of code to produce: | |
# https://www.scribd.com/doc/271871142/Julia-Type-Hierarchy | |
# | |
# I just redirected the output to a dot file, then executed: | |
# dot -Tpdf julia.dot -o julia.pdf | |
function print_type_tree(t, parent=Any, seen=Set{DataType}()) | |
# Avoid redundant edges. | |
t ∈ seen && return | |
push!(seen, t) | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
########################################################### | |
# | |
# OpenCV 3.1.0 - instalação | |
# http://opencv.org/ | |
# | |
########################################################### | |
#---------------------------------------------------------- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
var E = (function() { | |
var _f1 = function(v) { | |
var vocal_siguiente = { | |
"a": "e", | |
"e": "i", | |
"i": "o", | |
"o": "u", | |
"u": "a" | |
}; | |
if (vocal_siguiente[v] === undefined) { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
#usuariooriginal= $1 | |
#miusuario= $2 | |
#proyecto= $3 | |
git clone https://github.com/$username/$proyecto.git | |
cd $proyecto | |
git remote add upstream https://github.com/$original/$proyecto.git | |
git fetch upstream |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
XHR.get_csv({ | |
"url": "http://127.0.0.1:8080/csv/nombres.csv", | |
"en_caso_de_exito": function(resultado) { console.log(resultado); }, | |
"en_caso_de_error": function(resultado) { console.log(resultado); } | |
}); | |
XHR.head_csv({ | |
"url": "http://127.0.0.1:8080/csv/nombres.cs", |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# -*- coding: utf-8 -*- | |
import codecs | |
import sys | |
UTF8Writer = codecs.getwriter('utf8') | |
sys.stdout = UTF8Writer(sys.stdout) | |
import requests | |
ratings = [] |
OlderNewer