howdy. I have a file produced in a build directory after running

Process

. There was a file produced. I need to rename that file.

files = await Get(DigestEntries, Digest, result.output_digest)  # result is from "await Get(ProcessResult, Process(...))"
    for file in files:
        print(f"Path: {file.path}")
        print(f"Path: {file.file_digest}")

get

stdout: "Path: file.data"
stdout: "\n"
stdout: "Path: FileDigest('a5958f492644f5abe6f784fb1840b70e279143cbbc5d3a0770d7554a8b80d982', 796)"

Reading https://www.pantsbuild.org/docs/rules-api-file-system#digestentries. Do I need to write the

FileDigest

on disk (to produce a brand new file) with

Workspace.write_digest()

or is there a mechanism to update the filename in place?

From what I know, there’s no intrinsic rule for renaming files, only moving them.

oh, I am happy to move the file beside the original one i.e. what

mv origin dest

command would do 🙂

You can pass a list of

FileEntry

to

CreateDigest

to make a new digest.

Great, I overlooked that there’s two kinds for files, the

FileEntry

and the

FileContent

.

yeah

FileContent

was the original API but it brings the file into memory which is a problem in the JVM backends when manipulating large jar files

Yeah,

FileEntry

makes a ton of sense when working with the files, rather than the contents.

Thanks folks, let me give that a try today