Raging Tiger RagingTiger

## git-reset-author.sh
#!/bin/sh

# Credits: http://stackoverflow.com/a/750191

git filter-branch -f --env-filter "
    GIT_AUTHOR_NAME='Newname'
    GIT_AUTHOR_EMAIL='new@email'
    GIT_COMMITTER_NAME='Newname'
    GIT_COMMITTER_EMAIL='new@email'
  " HEAD

## multiple_ssh_setting.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                RagingTiger
                / multiple_ssh_setting.md
            
            
              Last active
              May 8, 2023 02:31
                — forked from jexchan/multiple_ssh_setting.md
            
              
                Multiple SSH keys for different github accounts
              
          
    Multiple SSH Keys settings for different github account

create different public key

create different ssh key according the article Mac Set-Up Git
$ ssh-keygen -t rsa -C "your_email@youremail.com"


## sample.py
import re
import asyncio
from playwright.async_api import async_playwright


USERNAME = "TYPE YOUR USERNAME HERE"
PASSWORD = "TYPE YOUR PASSWORD HERE"
HOST = "zproxy.lum-superproxy.io:9222"

URL = "https://www.svpino.com/" # USE YOUR URL HERE

## server.py
import http.server
import socketserver
from http import HTTPStatus

# custom server
class SimpleServer(socketserver.TCPServer):
    """Run a simple server."""
    def __init__(self, server_address, handler):
        # notify server starting up
        print('Server starting up ...')

## all_pdf_dl.py
import os
import requests
from urllib.parse import urljoin
from bs4 import BeautifulSoup
import argparse

#%% Example
# one pdf
#   python all_pdf_dl.py -l https://memento.epfl.ch/academic-calendar/ --save-here
# many pdfs

## setup-avahi.sh
sudo apt-get install avahi-daemon avahi-discover avahi-utils libnss-mdns mdns-scan
	#!/bin/sh

	# Credits: http://stackoverflow.com/a/750191

	git filter-branch -f --env-filter "
	GIT_AUTHOR_NAME='Newname'
	GIT_AUTHOR_EMAIL='new@email'
	GIT_COMMITTER_NAME='Newname'
	GIT_COMMITTER_EMAIL='new@email'
	" HEAD
	import re
	import asyncio
	from playwright.async_api import async_playwright


	USERNAME = "TYPE YOUR USERNAME HERE"
	PASSWORD = "TYPE YOUR PASSWORD HERE"
	HOST = "zproxy.lum-superproxy.io:9222"

	URL = "https://www.svpino.com/" # USE YOUR URL HERE
	import http.server
	import socketserver
	from http import HTTPStatus

	# custom server
	class SimpleServer(socketserver.TCPServer):
	"""Run a simple server."""
	def __init__(self, server_address, handler):
	# notify server starting up
	print('Server starting up ...')
	import os
	import requests
	from urllib.parse import urljoin
	from bs4 import BeautifulSoup
	import argparse

	#%% Example
	# one pdf
	# python all_pdf_dl.py -l https://memento.epfl.ch/academic-calendar/ --save-here
	# many pdfs