make state-pack error

[geoffgeoffgeoff3]

I did "make stop", then tried "make state-pack" so I could send the .tgz to David to test. But ...

make state-pack
Packing /home/tptp/StarExec/StarExec-ARC/starexec-containerised/starexec_saved_state into a tgz...
Creating archive: starexec-state-starexec_saved_state-20250918_201237.tgz
tar: starexec_saved_state/volExport/starexec/sandboxlock.active: Cannot open: Permission denied
tar: starexec_saved_state/volExport/starexec/sandbox: Cannot open: Permission denied
tar: starexec_saved_state/volExport/starexec/solvercache: Cannot open: Permission denied
tar: Exiting with failure status due to previous errors
Created: starexec-state-starexec_saved_state-20250918_201237.tgz
Share this file with: make state-restore FILE=starexec-state-starexec_saved_state-20250918_201237.tgz SAVED_STATE_DIR=target_directory

I had also tried doing the "tar czf starexec_saved_state.tgz starexec_saved_state" mayself, with the same effect.

I must update the README to tell users to use "make state-restore" to deal with the case of having been given a saved state.

[AndresCdo]

Hello @geoffgeoffgeoff3

Try running the fix-state-permissions objective of the Makefile to see if it corrects the permissions, and tell me how it goes.

[geoffgeoffgeoff3]

That made it worse :-((

make state-fix-perms
Fixing ownership of /home/tptp/StarExec/StarExec-ARC/starexec-containerised/starexec_saved_state to current user...
Ownership fixed.

make state-pack
Packing /home/tptp/StarExec/StarExec-ARC/starexec-containerised/starexec_saved_state into a tgz...
Creating archive: starexec-state-starexec_saved_state-20250918_203623.tgz
tar: starexec_saved_state/volExport/starexec/sandboxlock.active: Cannot open: Permission denied
tar: starexec_saved_state/volExport/starexec/sandbox: Cannot open: Permission denied
tar: starexec_saved_state/volExport/starexec/solvercache: Cannot open: Permission denied
tar: starexec_saved_state/volDB/ib_buffer_pool: Cannot open: Permission denied
tar: starexec_saved_state/volDB/starexec/job_stats.frm: Cannot open: Permission denied
tar: starexec_saved_state/volDB/starexec/queue_assoc.ibd: Cannot open: Permission denied
tar: starexec_saved_state/volDB/starexec/job_stats.ibd: Cannot open: Permission denied
tar: starexec_saved_state/volStarexec/StarExec-deploy/bin/classes/logback.xml: Cannot open: Permission denied
tar: starexec_saved_state/volStarexec/StarExec-deploy/script/soft-deploy.sh: Cannot open: Permission denied
tar: starexec_saved_state/volStarexec/StarExec-deploy/script/newInstallWithTestData.sh: Cannot open: Permission denied
tar: starexec_saved_state/volStarexec/StarExec-deploy/script/starsql.sh: Cannot open: Permission denied
tar: Exiting with failure status due to previous errors
Created: starexec-state-starexec_saved_state-20250918_203623.tgz
Share this file with: make state-restore FILE=starexec-state-starexec_saved_state-20250918_203623.tgz SAVED_STATE_DIR=target_directory

Anyway, a user should not have to do that, so maybe "state-pack" should call "state-fix-perms" first?

[AndresCdo]

Hi @geoffgeoffgeoff3

The last commit introduces a change, now when you run make state-pack, the tar command will execute within a user namespace that has the necessary permissions to read all the files created by the container, including those owned by different UIDs like 100998, 100152, etc. This should eliminate the "Permission denied" errors.

You can now try running make state-pack again, and it should complete successfully

[geoffgeoffgeoff3]

It created thev .tgz fine! But I think I see an error in the Makefile. I think that...
podman unshare tar -C $$(dirname $(SAVED_STATE_DIR)) -czf "$$out" "$$backup_name";
... should be ...
podman unshare tar -C $$(dirname $(SAVED_STATE_DIR)) -czf "$$out" "$(SAVED_STATE_DIR)"; \

I made a few other small changes, in particular I shortened the .tgz file name.

[AndresCdo]

@geoffgeoffgeoff3

The last commit introduces some changes, try it out again

[geoffgeoffgeoff3]

It seems to work fine. I'll do more testing next week.