abort(中断・断念)時は A.5 で付けた着手中マークを必ず解除してから終了する。解除は issue に
<!-- unclaimed-by: {agent-id} {ISO8601-timestamp} -->コメントを投稿することで行う。abort 後に残存する open PR および remote branch は、別 agent が引き継ぎ可とする(次の agent が引き継ぐ場合は再開フェーズ 2 の手順に従う)。hold/suspend(一時停止)時は claim を維持したまま、保留理由と再開条件を PR または issue comment
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /// The activity type | |
| typealias ActivityType = "release" | "streaming" | |
| /// The date | |
| typealias Date = String(matches(Regex(#"^[0-9]{4}-[0-9]{2}-[0-9]{2}$"#))) | |
| /// The day | |
| typealias Day = Duration(isBetween(0.d, 6.d)) | |
| /// The time span |
まだ執筆中の箇所が多くあります。ご容赦ください。
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh | |
| # vim: set ft=sh: | |
| set -eu | |
| HOST=minecraft-scalacube.example.com | |
| USER=backup | |
| PORT=2017 | |
| SRC_ZIP=$(ssh -p ${PORT} ${USER}@${HOST} 'ls -t minecraft-2* | head -1') | |
| DST_ZIP=$(mktemp -u).zip |
私、黒音キトのグラフィグ制作キットを公開します。
CC-BY-NC ライセンスで無料頒布します。 出典明記・非営利目的 の二点だけ守っていただければ、改変・転載・再頒布など一切自由です。
折り線のあるバージョンとないバージョンがあります。折り線が気になる方は使い分けてみてください。
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| const getInitials = (src: string[], length = 1) => | |
| Array.from(new Set(src.map(v => v.substring(0, length)))); | |
| export default (src: string[]) => | |
| getInitials(src).map(initial => { | |
| const list = src.filter(v => v.match(`^${initial}`)); | |
| const rec = (prev: string, length = 2): string => { | |
| const [word, ...{ length: l }] = getInitials(list, length); | |
| return l || list[0].length < length ? prev : rec(word, length + 1); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| export interface PiyoInstance { | |
| /** | |
| * Thru an argument. | |
| * @param x argument. | |
| * @template T argument type. | |
| */ | |
| instanceMethod<T>(x: T): T; | |
| } | |
| /** 🐥 */ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh | |
| mas upgrade | |
| brew update | |
| brew upgrade | |
| npm update -g | |
| npm upgrade -g | |
| yarn global upgrade | |
| brew cask upgrade | |
| brew cleanup |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $now = Get-Date -Format "yyyyMMdd_HHmmss" | |
| $target = "C:\Program Files\Docker\Docker\resources\MobyLinux.ps1" | |
| Copy-Item $target ("{0}.{1}" -f $target, $now) | |
| $data = Get-Content $target | ForEach-Object { $_ -replace "-ComputerName localhost", "" } | |
| $data | Out-File $target |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ; 十字キー上:ホイール上 | |
| ; 十字キー下:ホイール下 | |
| ; 十字キー左:テンキーのページダウン | |
| ; 十字キー右: テンキーの左 | |
| ; XYABボタン:キーボードの上下左右 | |
| ; L3: テンキーのEnd | |
| ; R3: テンキーの下 | |
| NumpadPgDn::PgUp | |
| NumpadLeft::PgDn |
NewerOlder