I hereby claim:
- I am joaomoreno on github.
- I am joaomoreno (https://keybase.io/joaomoreno) on keybase.
- I have a public key whose fingerprint is C15C 1B76 4693 B7A7 0D7C 1FFB FCFB 366E 4FD6 AA73
To claim this, I am signing this object:
Process: Electron [44697] | |
Path: /Volumes/VOLUME/*/Visual Studio Code - Insiders 3.app/Contents/MacOS/Electron | |
Identifier: com.microsoft.VSCodeInsiders | |
Version: 1.15.0-insider (1.15.0-insider) | |
Code Type: X86-64 (Native) | |
Parent Process: ??? [1] | |
Responsible: Electron [44697] | |
User ID: 501 | |
Date/Time: 2017-07-26 09:41:10.141 +0200 |
I hereby claim:
To claim this, I am signing this object:
// Place your settings in this file to overwrite the default settings | |
{ | |
"editor.fontFamily": "Fira Code iScript", | |
"editor.fontSize": 14, | |
"editor.lineHeight": 21, | |
"workbench.settings.openDefaultSettings": false, | |
"terminal.integrated.fontSize": 13, | |
"editor.tabSize": 2, | |
"editor.insertSpaces": false, | |
"files.trimTrailingWhitespace": true, |
#include "stdafx.h" | |
#include <iostream> | |
#include <chrono> | |
#include <thread> | |
int main() | |
{ | |
while (true) { | |
std::cout << "sleeping for 500ms" << std::endl; | |
std::this_thread::sleep_for(std::chrono::milliseconds(500)); |
Either copy the aliases from the .gitconfig
or run the commands in add-pr-alias.sh
Easily checkout local copies of pull requests from remotes:
git pr 4
- creates local branch pr/4
from the github upstream
(if it exists) or origin
remote and merges main
into itgit pr 4 someremote
- creates local branch pr/4
from someremote
remote and checks it outThis script will download and replace ~/Applications/VSCode-linux-x64
with the latest VS Code Insiders.
jq
: https://stedolan.github.io/jq/download/update-code
somewhere in your PATH
<!DOCTYPE html> | |
<html> | |
<head> | |
<meta charset="UTF-8"> | |
<title>Hello World!</title> | |
<style> | |
html, body, #container { | |
width: 100%; | |
height: 100%; | |
padding: 0; |
#!/bin/sh | |
META=`dbus-send --print-reply --dest=com.github.radiotray_ng /com/github/radiotray_ng com.github.radiotray_ng.get_player_state 2> /dev/null` | |
STATUS=$(echo $META | sed 's/^.*"state"\s*:\s*"\([^"]*\)".*$/\1/') | |
if [[ "$STATUS" == "playing" ]]; then | |
ARTIST=$(echo $META | sed 's/^.*"artist"\s*:\s*"\([^"]*\)".*$/\1/') | |
TITLE=$(echo $META | sed 's/^.*"title"\s*:\s*"\([^"]*\)".*$/\1/') | |
echo "$ARTIST - $TITLE" | |
fi |
<!DOCTYPE html> | |
<html> | |
<head> | |
<meta charset="UTF-8"> | |
<title>Hello World!</title> | |
</head> | |
<body> | |
<h1>Hello World!</h1> | |
<!-- All of the Node.js APIs are available in this renderer process. --> | |
We are using Node.js <script>document.write(process.versions.node)</script>, |
<!DOCTYPE html> | |
<html> | |
<head> | |
<meta charset="UTF-8"> | |
<title>Hello World!</title> | |
</head> | |
<body> | |
<h1>Hello World!</h1> | |
<!-- All of the Node.js APIs are available in this renderer process. --> | |
We are using Node.js <script>document.write(process.versions.node)</script>, |