Skip to content

Instantly share code, notes, and snippets.

@koron
koron / Changes of profiles of Windows Terminal.md
Last active November 13, 2020 01:59
Windows Terminal の設定ファイルの差分

schema.json とか defaults.json がなんなのかは説明しない。
JSON Schema はソラで読めることが前提。
今後の更新にキャッチアップするかは不明。

1.4.2652.0-preview → 1.5.3142.0-preview

1.5 プレビュー版の変更です。

デフォルトブランチ名の変更

@aaronk6
aaronk6 / README.md
Last active November 9, 2023 05:17
launchUri

Cross-browser implementation of navigator.msLaunchUri

Microsoft’s navigator.msLaunchUri method only works in Internet Explorer on Windows 8. Therefore I came up with a (nearly) cross-browser implementation that uses the native msLaunchUri when it’s available and falls back to adventurous hacks when running in other browsers.

Description

launchUri (uri, successCallback, noHandlerCallback, unknownCallback)
@jonasem
jonasem / git.lua
Last active November 19, 2022 22:14
git status peek in prompt for clink
---
-- Find out current branch
-- @return {false|git branch name}
---
function get_git_branch()
for line in io.popen("git branch 2>nul"):lines() do
local m = line:match("%* (.+)$")
if m then
return m
end
@janikvonrotz
janikvonrotz / Delete-AllCmdKeyCredentials.ps1
Created December 6, 2013 07:39
PowerShell: Delete all cmdkey credentials #PowerShell #Windows
cmdkey /list | ForEach-Object{if($_ -like "*Ziel:*"){cmdkey /del:($_ -replace " ","" -replace "Ziel:","")}}