From e70b3f2973ebae00313985e76080d3cbce5bbb1e Mon Sep 17 00:00:00 2001 From: Ben Potter Date: Sun, 5 Feb 2023 23:02:34 -0600 Subject: [PATCH] chore: add alias helper to develop.sh (#6031) * chore: add alias helper to develop.sh * restore formatting * change alias from feedback --- scripts/develop.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/develop.sh b/scripts/develop.sh index 9620af0a76..8f822c1610 100755 --- a/scripts/develop.sh +++ b/scripts/develop.sh @@ -194,6 +194,7 @@ fatal() { done log "== ==" log "== Use ./scripts/coder-dev.sh to talk to this instance! ==" + log "$(printf "== alias cdr=%s/scripts/coder-dev.sh%$((space_padding - ${#PWD}))s==" "$PWD" "")" log "====================================================================" log