$ dev

super simple javascript based cli; to do git clone, cd, and a few other things.

curl -o- https://raw.githubusercontent.com/amir-s/dev/refs/heads/main/install.sh | bash

▽ scroll down to see some examples

dev clone

clone a repository from a remote url to configured local path.

$ dev clone amir-s/dev

dev cd

change current directory to a cloned repository.

$ dev cd amir-s/dev

dev up

install dependencies for the current project.

$ dev up

dev open pr

open a browser to create a pull request for the current branch.

$ dev open pr

dev lan scan

scan the local network for devices.

$ dev lan scan

dev ps

list currently cloned git repositories.

$ dev ps -p

dev ip

get information about your ip address.

$ dev ip

dev lan sync

sync a folder with a device on the local network recursively and continuously.

$ dev lan sync . root@pi.local:/home/pi

dev <command>

run a custom script for the current project.

$ dev build

dev clean

interactively deletes merged git branches.

$ dev clean

dev help

get help for the dev cli or a specific command.

$ dev help