my-toolbox

Personal tiny tools, all in one place.

Install

pip install --force-reinstall git+https://github.com/hnyls2002/my-toolbox.git

Configuration

All remote-dev configs (servers, docker, sync) are unified in ~/.rdev/config.yaml. Managed via rdev-dotfiles (private).

# Install dotfiles (creates ~/.rdev/ symlinks)
cd ~/common_sync/rdev-dotfiles && ./install.sh

Environment Variables

Variable	Required	Description
SYNC_ROOT	Yes	Absolute path to the local sync workspace root (e.g. ~/common_sync)
RDEV_NDA_DIRS	No	Comma-separated list of NDA directories. Only synced when the server name ends with -nda

Set in your shell profile (e.g. ~/.zshrc):

export SYNC_ROOT=$HOME/common_sync
export RDEV_NDA_DIRS=MyProject,OtherProject

Shell Completion

All typer-based CLIs (rdev, rgit, rgh, rgrip) support zsh completion. One-time setup — run once per tool:

SHELL=/bin/zsh <tool> --install-completion

This puts a completion script in ~/.zfunc/ and adds fpath to .zshrc. Restart the terminal to take effect.

Tools

rdev — Remote development CLI

Subcommand	Description
rdev sync <target>	Sync code to server group or single host
rdev shell <host>	Ensure container + interactive shell
rdev exec <host> <cmd>	Sync + ensure container + execute command
rdev status [target]	Show container state (+ --gpu for per-GPU usage)
rdev ctr create <target>	Create container (runs setup only on new containers)
rdev ctr start / stop / restart <target>	Container lifecycle actions
rdev ctr recreate <target>	Remove + pull + create fresh (e.g. image drift)

rgit — Unified git toolkit

Subcommand	Description
rgit log / status / branch / diff / diff-stat	Common git info viewers
rgit collect	Refresh git metadata for repos under sync_root
rgit prune	Interactively select and delete local + remote branches
rgit repo list	List all repos with cached metadata
rgit repo status	Compact status summary for all repos
rgit worktree list	List available worktrees
rgit worktree install	Switch installed worktree (pip install -e)
rgit id show / list	Show current identity or list profiles
rgit id use / add / remove	Switch, add, or remove git identity profiles

rgh — GitHub CLI helper

Subcommand	Description
rgh cancel <url>	Cancel a GitHub Actions workflow run
rgh checkout <pr>	Checkout a PR into a new git worktree

rgrip — Local markdown preview

Subcommand	Description
rgrip open <file>	Start background preview session (python-markdown + pygments)
rgrip list	List active sessions
rgrip stop <file|port>	Stop a session (--all to stop all)
rgrip browse <file|port>	Open session in browser

sgl-run — SGLang model launcher

Single entry point with args for model config, speculative decoding, TP/DP parallelism, and disaggregated serving.

Docker tools

Command	Description
reconfig-docker	Reconfigure Docker daemon (data-root, NVIDIA runtime)

Utilities

Command	Description
bulk-sync	Bulk rsync transfer between machines
list-ib-devices	List InfiniBand devices and link states
fmt-sh	Format compact shell commands into readable multi-line format