Installation
You can install repos as a system package (Ubuntu/Debian, macOS, Windows), from source, or as a language-specific wrapper (R or Python).
Ubuntu / Debian
Option 1: Install from APT Repository (Recommended)
Install and keep repos up to date directly via apt:
# Add repository signing key
curl -fsSL https://raw.githubusercontent.com/MiguelRodo/apt-miguelrodo/main/KEY.gpg \
| sudo gpg --dearmor -o /usr/share/keyrings/miguelrodo-repos.gpg
# Add apt source
echo "deb [signed-by=/usr/share/keyrings/miguelrodo-repos.gpg] https://raw.githubusercontent.com/MiguelRodo/apt-miguelrodo/main/ ./" \
| sudo tee /etc/apt/sources.list.d/miguelrodo-repos.list >/dev/null
# Install repos
sudo apt-get update
sudo apt-get install -y reposTo uninstall:
sudo apt-get remove reposOption 2: Local Installation (No sudo required)
Install to your user directory (~/.local/bin):
git clone https://github.com/MiguelRodo/repos.git
cd repos
bash install-local.shIf ~/.local/bin is not on your PATH, add this to ~/.bashrc or ~/.profile:
export PATH="$HOME/.local/bin:$PATH"Then reload:
source ~/.bashrcTo uninstall:
bash uninstall-local.shOption 3: System-wide from Release .deb (requires sudo)
Download and install the latest .deb from the Releases page:
VERSION_REPOS=1.2.6
wget https://github.com/MiguelRodo/repos/releases/download/v${VERSION_REPOS}/repos_${VERSION_REPOS}_all.deb
sudo dpkg -i repos_${VERSION_REPOS}_all.deb
rm repos_${VERSION_REPOS}_all.deb
# Fix any dependency issues
sudo apt-get install -fTo uninstall:
sudo dpkg -r reposDependencies
All Ubuntu/Debian methods require bash, git, curl, and jq. These are typically pre-installed. If not:
sudo apt-get install bash git curl jqmacOS (Homebrew)
brew tap MiguelRodo/repos
brew install reposThe formula automatically handles the jq dependency. Git is typically pre-installed on macOS.
Windows
Scoop (recommended)
scoop bucket add repos https://github.com/MiguelRodo/scoop-bucket
scoop install reposgit and jq are installed automatically by Scoop. You will also need Git for Windows for Bash support.
Manual
Clone the repository:
git clone https://github.com/MiguelRodo/repos.git cd reposRun the installer:
.\install.ps1Restart your PowerShell session.
Dependencies:
- Git for Windows — provides
bash,git, andcurl - jq — JSON processor
From Source
git clone https://github.com/MiguelRodo/repos.git
cd repos
# Local install (no sudo)
bash install-local.sh
# Or system-wide on Ubuntu/Debian
sudo dpkg-buildpackage -us -uc -b
sudo dpkg -i ../repos_*.debLanguage Wrappers
R Package
install.packages("devtools")
devtools::install_github("MiguelRodo/repos")Requires bash, git, curl, and jq on your system.
Python Package
pip install git+https://github.com/MiguelRodo/repos.gitOr from a local clone:
git clone https://github.com/MiguelRodo/repos.git
cd repos
pip install .Requires bash, git, curl, and jq on your system. On Windows, use Git for Windows or WSL.
Verify Installation
repos --help