from import-old
importで使うPopupMenu系UserScript
$ deno check --remote -r=https://scrapbox.io https://scrapbox.io/api/code/takker/popup/script.ts
https://scrapbox-bundler.vercel.app?url=https://scrapbox.io/api/code/takker/popup/script.ts&bundle&minify&run&reload
from takker99/scrapbox-url-customizer
外部リンク記法etcへの変換を試すページ
https://twitter.com/tanigox/status/1626481058853306368
https://twitter.com/8co28/status/1636349198751911940
https://twitter.com/hillbig/status/1637192435511218180?ref_src=twsrc^tfw|twcamp^tweetembed|twterm^1637192435511218180|twgr^|twcon^s1_&ref_url=
ニコニコ動画のサムネを撮影して返すserverless function
/sno2wman/nicothumb2img
takker99/scrapbox-url-customizer用middleware
export const formatNiconico = (url: URL): URL | string => {
if (!/^(?:\w+\.nicovideo\.jp|nico\.ms)$/.test(url.hostname)) return url;
前回：2023-w12 振り返り
各論
/takker/2023-03-26
✅卒業山行@2023-03-27の準備
/takker/2023-03-27
寝る前やること
1. 明日の天気確認
2. 明日やることを視界に入れる
3. /takker/2023-03-24の行動を振り返る
4. /takker-memex/昨日やり残したことと今日やること整理 2023-03-31を開いて、やり残したことと明日やることを貼り付ける
寝る前やること
1. 明日の天気確認
2. 明日やることを視界に入れる
3. /takker/2023-03-22の行動を振り返る
4. /takker-memex/昨日やり残したことと今日やること整理 2023-03-29を開いて、やり残したことと明日やることを貼り付ける
next version: takker99/scrapbox-url-customizer
![](data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" width="900" height="17"><rect fill-opacity="0"/></svg>)
URLを外部リンク記法に変換するUserScript
scrapbox-url-customizer-2とは違って、TamperMonkeyなしで実行できる
mobileでURLを外部リンク記法に変換するPage menuから変換部分のみを抜き出した
2023-03-29 17:29:38 takker99/scrapbox-url-customizerになった
URLを外部リンク記法にして貼り付けるUserScript
URLを外部リンク記法に変換するUserScript (TamperMonkeyなし)とscrapbox-url-customizer-2とを合体させ、TamperMonkeyありでもなしでも使えるようにした
寝る前やること
1. ✅明日の天気確認
2. ✅明日やることを視界に入れる
3. /takker/2023-03-21の行動を振り返る
4. /takker-memex/昨日やり残したことと今日やること整理 2023-03-28を開いて、やり残したことと明日やることを貼り付ける
scrapboxでエゴサしてたら丁度みつけたので勢いで書いた
失礼なことを書いていないかだけがとても心配だ……
あとSlackへ転送されるよう設定しているメール通知はきちんと機能するのだろうか
Twitterは常時ログアウト状態なので、Slackに通知が飛ばないと返信に気づけない
参考にしていただきありがとうございます！
日経電子版の新着記事をtweetするtwitter account
大きなカテゴリごとに複数のaccountsがある
一部のaccountは記事以外のことをつぶやいたりもしている
一覧
ソーシャルサービス一覧：日本経済新聞 を参照
各種コンテンツをweb siteに埋め込むのに必要なhtmlとかを取得するための共通規格
tweetとかを埋め込むのに使ったりする
公式サイト
oEmbed
APIの書式の説明はここを見れば分かる
oEmbed APIを使うと、tweetの埋め込み用情報を取得することができる
書式
https://publish.twitter.com/oembed?url=$tweet_url
$tweet_urlに取得したいtweetのURLを書き込む
返り値
✅EnH-2023F-動画コンテスト~2023-07-19T19:00の字コンテ
ゆっくりMovieMaker4を使う
東北きりたんを使いたい
ずんだもんにする
はじめ
寝る前やること
1. ✅明日の天気確認
2. ✅明日やることを視界に入れる
3. /takker/2023-07-10の行動を振り返る
4. /takker-memex/昨日やり残したことと今日やること整理 2023-07-17を開いて、やり残したことと明日やることを貼り付ける
Psd立ち絵素材マネージャーの口パク・まばたき設定ファイル
場所
Psd立ち絵素材マネージャーで開いたPSD fileと同階層のフォルダに作成される
形式
ファイル名
2022-06-14 14:58:05 deprecated
それぞれ別ページにした
commonに移動
/takker
複数回呼び出されるcallbackをPromisicationするやついろいろとかを入れたrepo
https://github.com/takker99/async-lib
内容物
promisify()
promisifyするやつ
処理の流れ
1. inbox (GTD)に全てを集める
Inboxに素早く入れるUserScriptを使ってメモ帳 (scrapbox)に入れる
2. やるやらない仕分けする
10分で仕分ける
振り返り(takker-workflow@0.0.1)に則ってやってみる
箱整理
calendarへの追加
特になし
連絡待ちの整理
/takkerのDark Theme CSS
使っている端末の設定に合わせて、datk themeかlight themeかが切り替わります
prefers-color-schemeを使っている
cf. /hata6502/material-design
配色は✅/takkerのdark themeを調節するを参照
dev版があるらしい
有志による最新版
ZenzaWatch DEV版 20210316fix Another
どうやらScreenToGifだとできるらしい
録画時にどのタイミングでどのキーが入力されたかを全て記録しているようだ
#2022-03-10 13:17:22
Nerd Fontに使われているseti-iconsをScrapboxから使えるようにしたもの
aa2svgと同様@font-faceにフォントファイルをdata URIで直接埋め込むことで使えるようになる
Glyph Sets and Code Points · ryanoasis/nerd-fonts Wiki
from /customize/Dark Theme CSS#5a85c075be9f39000004eb8a
コードブロック記法のタイトル行を、標準のピンクから静かな色に変えるUserCSS
関連：/Mijinko/Settings#61d779457838e30000fc208b
/* code blockの頭を静かな色にする */
.line span.code-block .code-block-start {
コードブロック記法に使うShades Of Purpleテーマ
Scrapbox用に少し改変してある
/**
* Shades of Purple Theme — for Highlightjs.
*
動機
コードブロック記法に行番号を表示するUserCSS (Mijinko)を導入してみた
そのついでにtakkerのdark theme CSSも少しいじった
そのついでにコードブロック記法のsyntax highlightを変えてみようと思った
yak shavingじゃん
コードブロック記法をAtomっぽい配色にするUserCSS
from /appbirdNotebook-public/Atomっぽい見た目にしたい-CodeBlock編
少し不満点がある
コメントが見づらい
関数名とbuilt-in関数名との区別がつきにくい
highlight.js demoで言語別に閲覧できる
CSSファイルはここから入手できる
highlight.js
#2022-03-10 10:13:14
from Settings
変更点
@media screenをなくした
行頭の空白の色の重なりをなくした
色をcss custom propertyで設定できるようにした
いろんなところに分散して書いてしまっている
そのうち集めよう
わからない理由の予想
言葉の示している対象がずれている
そもそもtaskって何？scheduleって何？
2020-11-15 13:18:06 変えた
Scrapboxの機能を示すwatch listとかぶっちゃっている
なんとかしたい
watch listってdevice間で共有できないから、ページにまとめて書いておきたい
2021-11-16 18:11:41 archived
new version→import
他のprojectの自分のページで使用するUserScript
/scrapboxlab/共有プロジェクトでageずにUserScriptをアップデートしたい！
さんが提唱している物理的な整理整頓方法
/masui/箱整理法
/villagepump/箱整理法
やりかた
なんでもダンボールに詰めておく
のこと
構成主義ではの省略記号として定義される
つまり、論理否定ではなく矛盾がメインの論理演算子として用いられる
そうしたほうが推論規則の対称性がよくなる
はこの解釈でを使っている
1. touch typing
思考の速さで編集するにはこれしかない
2. 音声入力
3. 手書き
アナログかデジタルかは問わない
以下の定理が常に成り立つ
任意の命題が古典論理上の定理なら、は直観論理上の定理である
これは直観論理からみた、古典論理の重要な解釈の一つだろう
証明の仕方
古典論理の推論規則中の命題変数全てにを適用したものが直観論理上で証明可能であることを示せばいい
from /programming-notes/Drawingを押すと外部serviceを立ち上げるUserScript
#scrapboxのDrawing
#2021-03-29 11:00:50
たぶん主流のdiffの表示形式
ユニファイド形式 (Unified format) | Diff - Wikipedia
#2021-03-29 11:04:51
Next version: takker99/scrapbox-speech-input
from /programming-notes/scrapbox-speech-input
scrapboxで音声入力するためのUserScript
SpeechRecognitionを用いている
from /programming-notes/SpeechRecognitionに対応しているか判定する
deviceおよびbrowserがSpeechRecognitionに対応しているか判定するUserScript
単にobjectがundefinedでないかを確認しているだけ
export function hasSpeechRecognition() {
window.SpeechRecognition = window.webkitSpeechRecognition ?? window.SpeechRecognition;
畦を作る作業のこと。畦作りとも呼ぶ。
大まかな手順
1. 前年度の畦を削る
表面だけ削るのかな？
2. 押し固める
2021-01-08 18:48もっと簡単な方法があった
from /shokai/音声入力Menu
/customize/モバイル版Scrapboxかどうかを判定するUserScriptに載せておいた
