（雛´-`）.｡ｏＯ（今のところ MAX 2000 ポストまでだけど Discord のテキストチャンネルのログを Discord 上の操作だけで DL できるようにした） pic.twitter.com/vd82Fw9Pqm

こちらにソースコードと説明。各々設置したければ設置してください式。CGI サーバがあれば動くのでゆとシートとか運用している人なら簡単に使えるんじゃないかな

コマンドプロンプトで次のようにすると対象ユーザがサーバにいようがいまいが BAN できてしまう。無論、コマンドプロンプトでなくても BAN はできるが他のツールをわざわざ導入しなくてもできるのは旨味だろう。わかる人向けに書くと curl で Discord の API を叩いているだけなので コマンドプロンプトでなくてもやれる。

curl -X PUT -H "Authorization:Bot ${BOTの Token}" -d "{}" https://discordapp.com/api/guilds/${サーバの ID}/bans/${BAN したいユーザの ID}

echo 以下は実行例
curl -X PUT -H "Authorization:Bot MzAyNDU1MTg4MzQ4NzNzNzk0.WPPhWV.M4cqMTmBNIjJpg-7s1Gd9QtyRbQ" -d "{}" https://discordapp.com/api/guilds/302452071993442307/bans/258118613125300224765463

bot に適切な権限があることを実行前に確認すること。

そんなことをせずとも GUI から BAN すればいいじゃないかというコメントもあると思う。だが、GUI からは今サーバにいるメンバーしか BAN できない。だが、この方法ならば対象ユーザが入ってくる前に予防的に BAN することができる。「アッ、この人がうちのサーバに来たら困るなぁ」に対して威力を発揮するわけだ。

再帰的に圧縮を試み、10回試みて失敗したら諦めている。

圧縮してアップロードするため「config.cgi で $image_maxsize の値を0にしても画像をアップロードできちゃうのかな」と思ったがそんなことはなかった。ここの値を0にすれば問題なくアップロードを禁止できる。

普段いかないような遠くのお店にあるきでいくと楽しい……だが、これは自分が運転免許がないからこその楽しみかもしれない。ないしは車や電車だとアクセスしにくい場所に歩いていくのもいいかもしれない。

しかし、こういうキャンペーンを会社が張るとういことは運動不足傾向がまずいことになっているのだろうな。

こうすると環境変数に値が入っていればそれを使うし、入ってなければデフォルト値を使う、というのができる。テスト環境限定の挙動とかしたい場合に使えるかも。

なので、趣味においてはGoogle Chrome 用スクリーンレコーダーを単純な画面録画では使用している。これだとアプリの音や音声は入らないのがネックだが操作解説などであれば十分ではある。

Windows のゲームバーが追加のアプリインストールなども要らずに最も簡単なのだと思うが、私の手元だとどうも思い通りに動いてくれない。もう少し試行錯誤してみる必要があるのかもしれない……？

感慨深いような、寂しいような。大人の階段のぼっている。

なお、最近は急に「10dL は 1L なんだー」とか言い出したのでちょっとビビっている。

function myFunction() {
  const styles = [
    {
      name: 'getFontSize',
      func: (val)=>{if(val) {return `font-size:${val}px;`}}
    }, {
      name: 'getForegroundColor',
      func: (val)=>{if(val) {return `color:${val};`}}
    }, {
      name: 'isBold',
      func: (val)=>{if(val) {return `font-weight:bold;`}}
    }, {
      name: 'isItalic',
      func: (val)=>{if(val) {return 'font-style: italic;';}}
    }, {
      name: 'isStrikethrough',
      func: (val)=>{if(val) {return 'text-decoration: line-through ';} else {return 'text-decoration: ';}}
    }, {
      name: 'isUnderline',
      func: (val)=>{if(val) {return 'underline;';} else {return ';';}}
    }
  ];

  const sheet = SpreadsheetApp.getActiveSheet();
  const cell = sheet.getRange(1, 1);
  const elements = cell.getRichTextValue().getRuns();
  const html = elements.map((element)=>{
    const style = styles.map((style)=>{
      return style.func(element.getTextStyle()[style.name]()) || '';
    }).join('');
    return `<span style="${style}">${element.getText().replaceAll('\n', '<br/>')}</span>`;
  }).join('');
  console.log(html);
}