insert_file


Description:

public async void insert_file (File file, string path) throws Error

Insert an on-disk file into this project's tracked index.

The file must already exist on disk (e.g. after WriteFile). Calls File.to_real on the daemon; does not write bytes locally. Fake files (

id == -1
) receive a real id on success.

Parameters:

file

Client file object (often from File.new_fake)

path

Absolute normalized path (must match File.path)