Seb Mondet smondet
☕
armish
/ gdc_download.ml
Last active
April 4, 2017 23:23
Experiments with replacing gdc-client with a ketrew workflow
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
| #use "topfind";; | |
| #thread | |
| #use "biokepi_machine.ml";; | |
| open Biokepi | |
| open KEDSL | |
| open Cmdliner | |
| (* simple aliases *) |
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
| #!/usr/bin/perl | |
| # Author: Todd Larason <[email protected]> | |
| # $XFree86: xc/programs/xterm/vttests/256colors2.pl,v 1.2 2002/03/26 01:46:43 dickey Exp $ | |
| # use the resources for colors 0-15 - usually more-or-less a | |
| # reproduction of the standard ANSI colors, but possibly more | |
| # pleasing shades | |
| # colors 16-231 are a 6x6x6 color cube | |
| for ($red = 0; $red < 6; $red++) { |