UbuntuでAlacrittyを利用する場合、現状では フォントサイズの設定の設定に難がある ため、方法2を推奨
sudo snap install alacritty --classic
#!/usr/bin/env bash | |
# Temporary files for storing the list of extensions | |
tempfile1=$(mktemp) | |
tempfile2=$(mktemp) | |
# Save versions of extensions before the extension update process | |
code --list-extensions --show-versions > "$tempfile1" | |
# Print a message to indicate that the extension update process starts |
#!/usr/bin/env python3 | |
from typing import Iterator, List, Optional, Tuple | |
import re | |
import sys | |
CIRCLED_NUMBERS = [ | |
# 0 |
# ref: https://stackoverflow.com/questions/66781927/doc-to-docx-conversion-in-python | |
from glob import glob | |
import os | |
import win32com.client as win32 | |
from win32com.client import constants | |
def save_as_docx(path): | |
word = win32.gencache.EnsureDispatch('Word.Application') | |
doc = word.Documents.Open(path) |
#!/usr/bin/env python3 | |
import sys | |
from bs4 import BeautifulSoup | |
from markdown import markdown | |
from docopt import docopt | |
__doc__ = '''Convert markdown to Moodle-ish html |
I moved it to https://github.com/tos-kamiya/imo/tree/main | |
because I thought it needed manuals, such as some dependencies that cannot be installed with pip. |
# **DEPLICATED** the updated version is available at https://github.com/tos-kamiya/win_wildcard | |
# ref: https://stackoverflow.com/questions/55597797/detect-whether-current-shell-is-powershell-in-python | |
from typing import List, Optional | |
import locale | |
import os | |
import psutil | |
import re | |
import subprocess |
import sys | |
import threading | |
# requirements: pyqt5, justpy | |
from PyQt5.QtCore import QUrl | |
from PyQt5.QtWidgets import QApplication | |
from PyQt5.QtWebEngineWidgets import QWebEngineView | |
import justpy |
function fish_prompt | |
# show execution time | |
set hh (math -s0 "$CMD_DURATION / 3600000") | |
set mm (math -s0 "$CMD_DURATION % 3600000 / 60000") | |
set ss (math -s0 "$CMD_DURATION % 60000 / 1000") | |
set ms (math -s3 "$CMD_DURATION / 1000") | |
set t "" | |
if [ $hh -gt 0 ] | |
set t "$t$hh""h " |
# a revised and unit-tested version has been published at https://github.com/tos-kamiya/init_attrs_with_kwargs | |
from typing import get_type_hints | |
from enum import Enum | |
class InitAttrsWKwArgs: | |
@staticmethod | |
def _convert_option_name_to_attr_name(name: str) -> str: | |
if name.startswith('--'): |