Some Useful Scripts

Download a shared folder from Google Drive with rclone

• You will need to config rclone first.
• Download gdrive-shared-folder.bat (for Windows) or gdrive-shared-folder.sh (for Linux).

Create a file .timestamps to back up/restore the updated time of all files/folders in a folder

• This is a bash script used in Linux.
• Download timestamp.sh.

Quickly handling TeX files

• Download make.bat (for Windows) or Makefile (for Linux).

Crawling Articles Information with Specific Keywords

• This is a Python script.
• Download crawl_articles.tar.gz, extract it, go to the crawl_articles folder, and run pip install -r requirements.txt to install some required libraries, then go back and run python crawl.py --help to see how to use it.

A Workflow with GitHub and Overleaf

• See A Workflow with GitHub and Overleaf

Add a folder to Windows Explorer Navigation Pane

• See this page or this page for more details.
• Download navigation_pane.bat.

Remove workflow runs in a GitHub repository

• See this page for more details. This script requires GitHub CLI.
• Download gh-remove-workflow-run.bat (for Windows) or gh-remove-workflow-run.sh (for Linux).

Clone all branches of a GitHub repository

• Download gh-clone-all-branches.bat (for Windows) or gh-clone-all-branches.sh (for Linux).

Re-run a workflow in a GitHub repository

• Download gh-rerun-workflow.bat (for Windows) or gh-rerun-workflow.sh (for Linux). This script requires GitHub CLI.

Remove releases and tags in a GitHub repository

• Download gh-remove-release.bat (for Windows) or gh-remove-release.sh (for Linux). This script requires GitHub CLI.

Download releases from a GitHub repository

• Download gh-download-release.bat (for Windows) or gh-download-release.sh (for Linux). This script requires GitHub CLI.