https://gist.github.com/dergachev/4627207
ffmpeg -i in.mov -s 600x400 -pix_fmt rgb24 -r 10 -f gif - | gifsicle --optimize=3 --delay=3 > out.gif
git log 16316a --author="^MrSmith" --pretty=format:"%h%x09%an%x09%ad%x09%s" -20 |
https://www.tensorflow.org/get_started/premade_estimators |
# https://github.com/PowerShell/PowerShell/blob/master/docs/installation/linux.md#macos-1011 | |
# https://msdn.microsoft.com/powershell | |
# https://github.com/PowerShell/PowerShell/releases/tag/v6.0.0-alpha.15 | |
[CmdletBinding()] | |
Param([Parameter(Mandatory=$False,Position=1)] [string]$Command) | |
$Command = If ($Command) { $Command } Else { "default" } | |
Write-Output "Make targets ($Command)" |
# https://github.com/ginatrapani/todo.txt-android/wiki/Squash-All-Commits-Related-to-a-Single-Issue-into-a-Single-Commit | |
$ git rebase -i HEAD~4 | |
h1. Optionally force push | |
But alternatively start with making a new branch | |
$ git push origin branch-name --force | |
$ git commit --amend |
[CmdletBinding()] | |
Param( | |
[Parameter(Mandatory=$True,Position=1)] | |
[string]$expression | |
) | |
$originalPath = $pwd.Path | |
$repositories = gci | ?{ $_.PSIsContainer } | foreach { $_.Name } |
{ | |
"parserOptions": {"ecmaVersion": 5}, | |
"rules": { | |
"eqeqeq": 2, | |
"comma-dangle": 1, | |
"no-console": 0, | |
"no-debugger": 1, | |
"no-extra-semi": 1, | |
"no-extra-parens": 1, | |
"no-irregular-whitespace": 0, |
https://gist.github.com/dergachev/4627207
ffmpeg -i in.mov -s 600x400 -pix_fmt rgb24 -r 10 -f gif - | gifsicle --optimize=3 --delay=3 > out.gif
"*": | |
editor: | |
fontFamily: "FiraCode-Light" | |
preferredLineLength: 100 | |
tabLength: 4 | |
".slim.text": | |
whitespace: | |
removeTrailingWhitespace: false |
#!/bin/sh | |
clear | |
echo "HELLO WORLD" |
curl https://api.github.com/gists/public | grep -B 2 '"forks_url"\|raw_url' | grep '"url"\|type' | grep -v 'user' | sed -e ':a' -e 'N' -e '$!ba' -e 's/\n/ /g' | sed -e 's/url/é/g' | tr é '\n' | sed -e 's/": "/ /g' -e 's/", "/ /g' -e 's/ type / /g' -e 's/", "/ /g' -e 's/",/ /g' -e 's/ "type User/ /g' -e 's/ "/ /g'
# with xargs-curl
cat gist.json | grep -B 13 '"type": "application/x-sh"' | grep '"url": ' | sed -e 's/"url": "/ /g' -e 's/",/ /g' | head -n 1 | awk "{print $1}"