Configuring a new PC takes time. These are the steps I took to piece together my dev environment.
To setup a new Windows PC without using a Microsoft account:
#!/bin/bash | |
set -euxo pipefail | |
is_commit_signed() { | |
local commit=$1 | |
git verify-commit "$commit" &> /dev/null | |
return $? | |
} |
{"name":"JMV","settings":"{\"settings\":\"{\\n \\\"workbench.iconTheme\\\": \\\"vscode-icons\\\",\\n \\\"vsicons.dontShowNewVersionMessage\\\": true\\n}\"}","extensions":"[{\"identifier\":{\"id\":\"ahmadawais.emoji-log-vscode\",\"uuid\":\"b23a567f-1508-412b-b8db-feb335fd72f3\"},\"displayName\":\"Emoji Log\"},{\"identifier\":{\"id\":\"betterthantomorrow.calva\",\"uuid\":\"1efe5c06-c136-4b3d-b795-993897c4146a\"},\"displayName\":\"Calva: Clojure & ClojureScript Interactive Programming\",\"disabled\":true},{\"identifier\":{\"id\":\"betterthantomorrow.calva-spritz\",\"uuid\":\"4a4183a3-d072-4540-a278-ef0c1e0b7669\"},\"displayName\":\"Calva Spritz\",\"disabled\":true},{\"identifier\":{\"id\":\"donjayamanne.githistory\",\"uuid\":\"5960f38e-0bbe-4644-8f9c-9c8824e82511\"},\"displayName\":\"Git History\"},{\"identifier\":{\"id\":\"johnpapa.vscode-peacock\",\"uuid\":\"5a7017bf-c571-4d77-b902-6e56b16f539a\"},\"displayName\":\"Peacock\"},{\"identifier\":{\"id\":\"leocardoso94.clojure-snippets\",\"uuid\":\"39e36b99-f |
git rm --cached `git ls-files -i -c --exclude-from=.gitignore` | |
git commit -m 'Removed all files that are in the .gitignore' | |
git push origin <MY-BRANCH> |
name: Release | |
on: | |
push: | |
tags: | |
- 'v*' | |
jobs: | |
deploy-to-aws-ebs: | |
runs-on: ubuntu-latest |
""" | |
Simple data split between training and development sets | |
The training set will have at least 6 months of data (26 weeks) | |
with every bath adding a new week. | |
The development set will have a single week of data. | |
""" | |
/** | |
* Displays the remaining time before date | |
*/ | |
timer = function () { | |
// Set the date we're counting down to | |
const startDate = new Date(Date.UTC(2020, 9, 5)); | |
const endDate = new Date(Date.UTC(2021, 0, 15)); | |
const now = new Date(); | |
const timeTotal = endDate - startDate; | |
const timeLeft = endDate - now; |