Quick tip to retrieve the contributor list of a given repository. Example bellow with ceph-ansible:
$ curl -s https://api.github.com/repos/ceph/ceph-ansible/stats/contributors | grep login | awk -F ":" '{print $2}' | sed 's/"/,@/;s/,$//;s/"$//' | tr -d '\n' |
Now you can easily ping them.
Some of my favorite AWK expressions:
OSD_LISTEN_PORTS:$(netstat -tlpn | awk -F ":" '/ceph-osd/ { sub (" .*", "", $2); print $2 }' | uniq) |
Because
grep foo | awk '{print $1}'is not elegant!
Quick How-to.
The erasure coding is currently a very hot topic for distributed storage systems. It has been part of the Ceph roadmap for almost a year and Swift guys recently brought the discussion to the table. Both of them have planned to implement the erase code functionality so I thought it might be interesting to give a high level overview about the erasure coding principles. Before we start, I’d like to point out that I don’t take any credit for this article. I just read the wonderful white paper “Erasure Coding vs. Replication: A Quantitative Comparison” written by Hakim Weatherspoon and John D. Kubiatowicz from Computer Science Division University of California, Berkeley. Many thanks to them. While ready the paper, I found their introduction to the erasure code easy to understand for a novice like me :).
One of the things, that I hate the most about an infrastructure is to have an inconsistent platform.
Obviously DNS runs but it could fail, and then it’s always good to rely on your /etc/hosts.
However before this, it must be consistent.
SOL: Serial Over Line is a wonderful feature that redirects your server’s console thanks to the goodness of IPMI.
Quick article, two nice websites that can help you to build Vagrant templates.
Update the general_log variable while MySQL runs.
The default value of the variable expire_logs_days is 10 days, most of the time this is way too long. This mini how-to shows how to change this value. Fortunately expire_logs_days is a dynamic variable so we can edit it while MySQl runs, we don’t need to restart the server.
Shortest article ever written on my blog…
From time to time I notice that switching from my audio local source to my Airplay station (and the other way around) somehow muted the sound on Chrome. After some googling I noticed that the problem came from a flash player plugin. You just need to disable it.
For this go to chrome://plugins, Show details an then disable the PPAPI plugin located in:
/Applications/Google Chrome.app/Contents/Versions/24.0.1312.52/Google Chrome Framework.framework/Internet Plug-Ins/PepperFlash/PepperFlashPlayer.plugin
Hope it helps! `