set_workdir


Description:

public void set_workdir (File workdir, bool update_gitlink)

Sets the working directory of the repository.

If update_gitlink is set to true "core.worktree" will be set in the config if workdir is not the parent of the .git directory).

Parameters:

this

a Repository.

workdir

the working directory.

update_gitlink

create/update gitlink in workdir.




2022 vala-language.org