..o.n.o.. nauhygon

## replace_str_all.sh
find . -type f -name "*.org" -exec sed -i '' 's/old/new/g' {} +

## wordle_help.py
#!/usr/bin/env python

import sys

# Source: https://github.com/dwyl/english-words/blob/master/words_alpha.txt
WORD_FILE="words_alpha.txt"


def words_all(word_file=WORD_FILE):
    lines = open(word_file).readlines()

## Build-Z3-with-MSYS2.org

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                nauhygon
                / Build-Z3-with-MSYS2.org
            
            
              Last active
              March 25, 2021 21:09
            
              
                Steps to build Z3 and its Python bindings in MSYS2
              
          
  Install x86_64-w64-mingw32 tools to build z3 & its Python bindings
  Install mingw-w64-cross-binutils (to fix AR missing)
    
      `pacman -S pacman -S mingw-w64-cross-binutils`
    
  
  Explicitly add ‘.exe’ extension to CXX/CC/AR
    
      and explicitly export them!
      `export CXX=x86_64-w64-mingw32-g++.exe CC=x86_64-w64-mingw32-gcc.exe AR=x86_64-w64-mingw32-ar.exe`
    
  
  Add /opt/bin to PATH


## Split video into segments using ffmpeg
ffmpeg -i INPUT.MOV -c copy -reset_timestamps 1 -segment_time 160 -f segment OUTPUT%03d.MP4

## stun.sh
# Func: Start an SSH tunnel (autossh) to a server $1 and map it to a
# local port $2 (default to 8888), which can be used as a SOCK. Start
# a HTTP proxy server (polipo) with proxy port $3 (default to 8123)
# and point it to the SSH tunnel.
#
# See also:
#   autossh (http://www.harding.motd.ca/autossh/)
#   polipo (https://www.irif.univ-paris-diderot.fr/~jch/software/polipo/)
#
# Usages:

## Build Emacs for Windows 64bit with Native Compilation.md

      
              1 file
            
          
              15 forks
            
          
              52 comments
            
          
              79 stars
            
          
                nauhygon
                / Build Emacs for Windows 64bit with Native Compilation.md
            
            
              Last active
              April 26, 2024 06:03
            
              
                Step-by-step instructions to build Emacs for Windows 64 bit with MSYS2 and MinGW-w64. Now `native-comp` supported.
              
          
    Build Emacs-w64 with MSYS2/MinGW-w64 with Native Compilation

Instructions are modified from emacs-w64 Wiki page by zklhp. Many thanks for sharing!


Download the latest MSYS2 from this download page.


Install MSYS2 to, for example, C:\msys2 (make sure no space in path to avoid unwanted problems).


Optionally prettify the MSYS2 console mintty with ~/.minttyrc to make it more pleasing to eyes. Thanks to this awesome theme!


## yahoo_login.html
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<title>Sign in to Yahoo!</title>

<meta http-equiv="Pragma" content="no-cache">
<meta http-equiv="Expires" content="0">
<script type='text/javascript'>
var startTime = new Date().getTime();
	#!/usr/bin/env python

	import sys

	# Source: https://github.com/dwyl/english-words/blob/master/words_alpha.txt
	WORD_FILE="words_alpha.txt"


	def words_all(word_file=WORD_FILE):
	lines = open(word_file).readlines()
	# Func: Start an SSH tunnel (autossh) to a server $1 and map it to a
	# local port $2 (default to 8888), which can be used as a SOCK. Start
	# a HTTP proxy server (polipo) with proxy port $3 (default to 8123)
	# and point it to the SSH tunnel.
	#
	# See also:
	# autossh (http://www.harding.motd.ca/autossh/)
	# polipo (https://www.irif.univ-paris-diderot.fr/~jch/software/polipo/)
	#
	# Usages:
	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
	<html>
	<head>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<title>Sign in to Yahoo!</title>

	<meta http-equiv="Pragma" content="no-cache">
	<meta http-equiv="Expires" content="0">
	<script type='text/javascript'>
	var startTime = new Date().getTime();