Jurriaan H. Spaaks jspaaks
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
| SUBMIT_CMD="xenon scheduler ${SCHEDULER} \ | |
| --location local:// \ | |
| submit \ | |
| --name smk.{rule} \ | |
| --inherit-env \ | |
| --procs-per-node {threads} \ | |
| --start-single-process \ | |
| --max-run-time 1 \ | |
| --max-memory {resources.mem_mb} \ | |
| --working-directory . \ |
jspaaks
/ gist:df292d42ecbd5e28d4620f011c602b90
Created
February 26, 2018 09:45
steps to delete a copyrighted file from a git repository using BFG-repo-cleaner
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
| # my local copy of the offending repo was at ~/github/nlesc/enram | |
| # ================= stage 1 ================= | |
| # (I removed offending files with git rm, then commited and pushed to GitHub) | |
| # key thing is: the HEAD needs to be clean of offending files | |
| # I also cut all branches except master, not sure how that affects anything | |
| # also important: merge any open pull requests, otherwise you end up undoing the | |
| # history deletion when you merge them later |
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
| <html lang="en"> | |
| <head> | |
| <meta http-equiv="content-type" content="text/html; charset=utf-8"> | |
| <meta name="viewport" content="width=device-width"> | |
| <title>punchcards: weekday-rect</title> | |
| <script type="text/javascript" src="https://unpkg.com/crossfilter@^1.3.12/crossfilter.min.js"></script> | |
| <script type="text/javascript" src="https://unpkg.com/d3@^3.5.17/d3.min.js"></script> | |
| <script type="text/javascript" src="https://unpkg.com/moment@^2.14.1/moment.js"></script> | |
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
| <html lang="en"> | |
| <head> | |
| <meta http-equiv="content-type" content="text/html; charset=utf-8"> | |
| <meta name="viewport" content="width=device-width"> | |
| <title>punchcards: weekday-circle</title> | |
| <script type="text/javascript" src="https://unpkg.com/crossfilter@^1.3.12/crossfilter.min.js"></script> | |
| <script type="text/javascript" src="https://unpkg.com/d3@^3.5.17/d3.min.js"></script> | |
| <script type="text/javascript" src="https://unpkg.com/moment@^2.14.1/moment.js"></script> | |