Skip to content

Instantly share code, notes, and snippets.

View MrCordeiro's full-sized avatar
:shipit:
In a love-hate relationship with white spaces

Fernando MrCordeiro

:shipit:
In a love-hate relationship with white spaces
30 followers · 46 following
View GitHub Profile
@MrCordeiro
MrCordeiro / sign-all-commits.sh
Last active November 23, 2023 16:12
Ensures all commits from a repo are signed
#!/bin/bash
set -euxo pipefail
is_commit_signed() {
local commit=$1
git verify-commit "$commit" &> /dev/null
return $?
}
@MrCordeiro
MrCordeiro / JMV.code-profile
Last active July 13, 2023 12:30
{"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
@MrCordeiro
MrCordeiro / remove_gitignore_files_from_git.sh
Created March 8, 2023 09:49
Removes from git everything that was listed on .gitignore
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>
@MrCordeiro
MrCordeiro / new-pc-setup.md
Last active January 17, 2024 17:52
Windows 11 Setup Guide

New Computer Setup

Configuring a new PC takes time. These are the steps I took to piece together my dev environment.

Windows 11

Software

@MrCordeiro
MrCordeiro / deploy.yml
Created November 7, 2022 08:58
Deploy container to Elastic Beanstalk
name: Release
on:
push:
tags:
- 'v*'
jobs:
deploy-to-aws-ebs:
runs-on: ubuntu-latest
@MrCordeiro
MrCordeiro / train_dev_cumulative_time_series_split.py
Last active May 5, 2021 17:28
Time series train-dev split with cumulative data
"""
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.
"""
@MrCordeiro
MrCordeiro / timer.js
Created January 23, 2021 16:35
timer-progress-bar
/**
* 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;
@MrCordeiro
MrCordeiro / what-a-strange-repo.3.gif
Created May 28, 2020 12:08
Gist for what-a-strange-repo.3.gif. Generated by `crop-github-images-cli`.
what-a-strange-repo.3.gif
@MrCordeiro
MrCordeiro / what-a-strange-repo.1.gif
Created May 28, 2020 12:08
Gist for what-a-strange-repo.1.gif. Generated by `crop-github-images-cli`.
what-a-strange-repo.1.gif
@MrCordeiro
MrCordeiro / what-a-strange-repo.4.gif
Created May 28, 2020 12:08
Gist for what-a-strange-repo.4.gif. Generated by `crop-github-images-cli`.
what-a-strange-repo.4.gif