masbicudo

#!/bin/bash
# This code is based on the awesome answer by @torek from StackOverflow:
# https://stackoverflow.com/a/41626019/195417
# I have only made a shell for his code, added some options, added some colors
# and voilà!
#
# This script can be used to find large files inside a git repository
# and it's whole history. It will list files larger than a given threshold,
# and display these files in a colored human readable way.
#

synaptiko

How to modify physical display size in EDID

Following method describes how to fix EDID display size information of your monitor if it's wrong (some of Samsung's monitors report incorrect size when connected over HDMI, for example). It assumes that your monitor is connected to HDMI1 port (HDMI-A-1 is full kernel address).

I used following tools:

• Bless
• edid-decode-git
• edid-rw (I used parts of this script for edid-checksum.py)
• read-edid (parse-edid, get-edid)

magnetikonline

List all Git repository objects by size

• Summary
• Example

Summary

Bash script to:

• Iterate all commits made within a Git repository.

emmajane

JQL Syntax for the Impatient

There are a few JQL syntax bits to get you started:

• AND --- allows you to add qualifiers to a list
• != Thing --- target one thing
• is in (List, Of, Things) --- target a bunch of things (Done, Closed, Resolved) typically
• not in (List, of, Things) --- do not include a bunch of things
• -1w --- relative time. You can also use -1d for day
• "2015/3/15" --- specific dates

addinquy

#Les mains dans le Ceylon ! ##(not yet) ready Ce mardi 18 décembre, nous étions invités par les duchesses à nous initier au langage Ceylon développé par Red Hat. Encore un nouveau langage sur la JVM ! Encore un "better java" ! Mais certaines idées ont attiré mon attention. Je ne voulais pas manquer cette occasion de m'y initier, en le faisant mieux et plus rapidement qu'en m'arranchant les cheveux tout seul devant ma machine. Bref, Emmanuel Bernard et Stéphane Epardaud ont joué les formateurs chez Capitain Train qui était notre hôte pour l'occasion (on les remercient chaleureusement).

[[MORE]]

De mon côté j'avais déjà passé un pe