mirror of
https://github.com/RGBCube/serenity
synced 2025-07-27 00:47:45 +00:00
Ports: Automatically enter the work directory when running dev
This commit is contained in:
parent
f76f68aad9
commit
d69a79b03b
1 changed files with 2 additions and 0 deletions
|
@ -824,7 +824,9 @@ do_dev() {
|
||||||
|
|
||||||
local first_hash="$(git -C "$git_repo" rev-list --max-parents=0 HEAD)"
|
local first_hash="$(git -C "$git_repo" rev-list --max-parents=0 HEAD)"
|
||||||
|
|
||||||
|
pushd "$workdir"
|
||||||
launch_user_shell
|
launch_user_shell
|
||||||
|
popd >/dev/null 2>&1
|
||||||
|
|
||||||
local current_hash="$(git -C "$git_repo" rev-parse HEAD)"
|
local current_hash="$(git -C "$git_repo" rev-parse HEAD)"
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue