Dump result of this RPM file using this script.
$ python dump-rpm-headers.py php70-php-pecl-imagick-3.4.4-17.el7.remi.x86_64.rpm
// ==UserScript== | |
// @name Bing Chat IME fix | |
// @namespace https://gist.github.com/koseki/d377f8f2e6df6655a1e160a4e03421d1 | |
// @version 0.4 | |
// @description macOS の Edge で Bing chat を使うと日本語入力確定時に勝手に送信されてしまう問題の対応です | |
// @author koseki | |
// @icon https://www.google.com/s2/favicons?sz=64&domain=tampermonkey.net | |
// @match https://www.bing.com/* | |
// @grant none | |
// ==/UserScript== |
const fs = require('fs-extra'); | |
async function main(size) { | |
for (let i = 0; i < 5; i++) { | |
console.log(i) | |
let s = ''; | |
for (let j = 0; j < size; j++) { | |
s += i | |
} | |
await fs.outputFile(`${i}.txt`, s) |
A | |
B | |
C | |
D | |
E | |
F | |
G | |
H | |
I | |
J |
Dump result of this RPM file using this script.
$ python dump-rpm-headers.py php70-php-pecl-imagick-3.4.4-17.el7.remi.x86_64.rpm
#! /usr/bin/env python | |
import struct | |
from ctypes import * | |
import io | |
import re | |
from enum import Enum | |
from sys import argv |
import axios from 'axios' | |
class App { | |
constructor() { | |
this.cache = {} | |
} | |
/** | |
* 何もキャッシュしないバージョン | |
*/ |
import asyncio | |
from typing import List | |
import aioredis | |
from aioredis import Redis | |
from aioredis.pubsub import Channel | |
from aioredis.connection import RedisConnection | |
class Sample: |
日本の市外局番と都道府県の対応です。
https://www.soumu.go.jp/main_sosiki/joho_tsusin/top/tel_number/shigai_list.html の Word ファイルを元に加工しています。
jp-phone-areacode.json
... 市外局番 => [都道府県1,都道府県2,...]
の JSON データjp-phone-areacode.yaml
... 説明を含む YAML データraw.csv
... Word ファイルから Excel にコピペして加工した元データconvert.rb
... 変換スクリプト{ | |
"Version": "2012-10-17", | |
"Statement": [ | |
{ | |
"Sid": "AllowViewAccountInfo", | |
"Effect": "Allow", | |
"Action": [ | |
"iam:GetAccountPasswordPolicy", | |
"iam:ListVirtualMFADevices" | |
], |
タイムゾーン America/Los_Angeles
では、サマータイム終了日 2018/11/04 の 01:00:00 〜 01:59:59 が2度繰り返される。
Ruby の Time
は、午前1時台をサマータイム終了後として扱っている。
irb(main):001:0> ENV['TZ'] = 'America/Los_Angeles'
=> "America/Los_Angeles"
irb(main):002:0> Time.local(2018, 11, 4, 0, 59, 0)
=> 2018-11-04 00:59:00 -0700
irb(main):003:0> Time.local(2018, 11, 4, 0, 59, 0).dst?