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 . \ |
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> | |