Keith Kim keithkim

## gist:f362dcfc35e3997e594c093d9f86bb24
<!-- right after <head> tag -->


<script src='https://cdn.jsdelivr.net/npm/showdown@2.1.0/dist/showdown.min.js>
<script src='https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js'/>

<script>
window.MathJax = {
  tex: {
    inlineMath: [['\\(', '\\)'], ['$', '$']],

## proof.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              0 stars
            
          
                keithkim
                / proof.md
            
            
              Created
              January 20, 2026 17:01
            
          
    openpgp4fpr:9ED716ECEF8C26A4B1D2A797974E0461554D2D61

  
## aliases.txt
ca=conda activate $1
cde=conda deactivate
cda=conda deactivate
cel=conda env list
condals=conda list
cs=conda search $1

find=findstr /sin $*
..=..\$*
...=..\..\$*

## alias.bat
@echo off
REM *** set up alias for DOS environment like Bash's alias
REM *** 2022-10-12

@doskey vlist=
@doskey /macrofile=C:\bin\aliases.txt

REM *** to display all defined aliases
REM doskey /macros:all

## graalenv.bat
@echo off

set GRAALVM_BASE=D:\opt\graalvm
set GRAALVM_PATH_TMP=%GRAALVM_BASE%\graalpath.tmp
setlocal enabledelayedexpansion

echo.
echo =====================================
echo 🍵 Graalvm Environment Setting Helper
echo 🍵 Graalvm Base Path=%GRAALVM_BASE%

## merge_mp3.sh
#!/usr/bin/bash
# Keith Kim, 2021-06
# This is to automate merging mp3 files and add cover image for audible audio book files converted to mp3 using AAXtoMP3


OIFS="$IFS"
IFS=$'\n'
for authorpath in `find . -maxdepth 1 -type d -print`
do
    if [ "." == "$authorpath" ]; then continue; fi

## now
#!/bin/bash

# https://askubuntu.com/questions/1020692/terminal-splash-screen-with-weather-calendar-time-sysinfo
#
# NAME: now
# PATH: $HOME/bin
# DESC: Display current weather, calendar and time
# CALL: Called from terminal or ~/.bashrc
# DATE: Apr 6, 2017. Modified: May 24, 2019.

## docker-compose-kafka.yml
version: '2'
services:
  zookeeper:
    container_name: zookeeper
    image: wurstmeister/zookeeper
    ports:
      - "2181:2181"
  kafka:
    build: .
    container_name: kafka

## multimon-output.html
Content-Type: text/html; charset=utf-8
Content-Language: en
Pragma: no-cache

<?xml version="1.0" encoding="UTF-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>Multimon: UPS Status Page</title>

## .color
# Reset
Color_Off='\e[0m'       # Text Reset

# Regular Colors
Black='\e[0;30m'        # Black
Red='\e[0;31m'          # Red
Green='\e[0;32m'        # Green
Yellow='\e[0;33m'       # Yellow
Blue='\e[0;34m'         # Blue
Purple='\e[0;35m'       # Purple
	<!-- right after <head> tag -->


	<script src='https://cdn.jsdelivr.net/npm/showdown@2.1.0/dist/showdown.min.js>
	<script src='https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js'/>

	<script>
	window.MathJax = {
	tex: {
	inlineMath: [['\\(', '\\)'], ['$', '$']],
	ca=conda activate $1
	cde=conda deactivate
	cda=conda deactivate
	cel=conda env list
	condals=conda list
	cs=conda search $1

	find=findstr /sin $*
	..=..\$*
	...=..\..\$*
	@echo off
	REM *** set up alias for DOS environment like Bash's alias
	REM *** 2022-10-12

	@doskey vlist=
	@doskey /macrofile=C:\bin\aliases.txt

	REM *** to display all defined aliases
	REM doskey /macros:all
	@echo off

	set GRAALVM_BASE=D:\opt\graalvm
	set GRAALVM_PATH_TMP=%GRAALVM_BASE%\graalpath.tmp
	setlocal enabledelayedexpansion

	echo.
	echo =====================================
	echo 🍵 Graalvm Environment Setting Helper
	echo 🍵 Graalvm Base Path=%GRAALVM_BASE%
	#!/usr/bin/bash
	# Keith Kim, 2021-06
	# This is to automate merging mp3 files and add cover image for audible audio book files converted to mp3 using AAXtoMP3


	OIFS="$IFS"
	IFS=$'\n'
	for authorpath in `find . -maxdepth 1 -type d -print`
	do
	if [ "." == "$authorpath" ]; then continue; fi
	#!/bin/bash

	# https://askubuntu.com/questions/1020692/terminal-splash-screen-with-weather-calendar-time-sysinfo
	#
	# NAME: now
	# PATH: $HOME/bin
	# DESC: Display current weather, calendar and time
	# CALL: Called from terminal or ~/.bashrc
	# DATE: Apr 6, 2017. Modified: May 24, 2019.
	version: '2'
	services:
	zookeeper:
	container_name: zookeeper
	image: wurstmeister/zookeeper
	ports:
	- "2181:2181"
	kafka:
	build: .
	container_name: kafka
	Content-Type: text/html; charset=utf-8
	Content-Language: en
	Pragma: no-cache

	<?xml version="1.0" encoding="UTF-8" ?>
	<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
	"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
	<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
	<head>
	<title>Multimon: UPS Status Page</title>
	# Reset
	Color_Off='\e[0m' # Text Reset

	# Regular Colors
	Black='\e[0;30m' # Black
	Red='\e[0;31m' # Red
	Green='\e[0;32m' # Green
	Yellow='\e[0;33m' # Yellow
	Blue='\e[0;34m' # Blue
	Purple='\e[0;35m' # Purple