Skip to content

Instantly share code, notes, and snippets.

View rubio's full-sized avatar

Francisco Jesús Rubio Reales rubio

View GitHub Profile
@rubio
rubio / 0_reuse_code.js
Created November 28, 2013 22:18
Here are some things you can do with Gists in GistBox.
// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console
<?xml version='1.0' encoding='UTF-8'?>
<project>
<actions/>
<description></description>
<logRotator class="hudson.tasks.LogRotator">
<daysToKeep>90</daysToKeep>
<numToKeep>30</numToKeep>
<artifactDaysToKeep>-1</artifactDaysToKeep>
<artifactNumToKeep>-1</artifactNumToKeep>
</logRotator>
<?xml version='1.0' encoding='UTF-8'?>
<project>
<actions/>
<description></description>
<logRotator class="hudson.tasks.LogRotator">
<daysToKeep>90</daysToKeep>
<numToKeep>30</numToKeep>
<artifactDaysToKeep>-1</artifactDaysToKeep>
<artifactNumToKeep>-1</artifactNumToKeep>
</logRotator>
#! /usr/bin/env python
import time
import redis
cn = redis.Redis(host="10.0.15.1", port=6379)
cnt = 0
with open('3460.lst', 'rb') as f:
for key in f: