Skip to content

Instantly share code, notes, and snippets.

View FerPerales's full-sized avatar
🎯
Focusing

Fernando Perales FerPerales

🎯
Focusing
View GitHub Profile
$('.modal')
.on('shown', function(){
$('body').css({overflow: 'hidden'});
})
.on('hidden', function(){
$('body').css({overflow: ''});
});
require "github_api"
user = ''
token = ''
github = Github.new oauth_token: token
coderwall_orgs = []
github.orgs.list.each do |org|
coderwall_orgs << org.login if org.login =~ /^coderwall/
rand_port(){
port=$(( 1000+( $(od -An -N2 -i /dev/random) )%(1023+1) ))
while :
do
(echo >/dev/tcp/localhost/$port) &>/dev/null && port=$(( 1000+( $(od -An -N2 -i /dev/random) )%(1023+1) )) || break
done
echo "$port"
}
phpmin(){
/** El ejemplo de aqui muestra como cargar una ontologia
* cualquiera, ya sea de la Web o de una copia local.
*
* @throws OWLOntologyCreationException */
public void cargarOntologia() throws OWLOntologyCreationException
{
// Generar nuestro manejador de ontologias.
OWLOntologyManager manejador = OWLManager.createOWLOntologyManager();
// Primero probando a cargar una ontologia desde la Web