Mattia Mascia comments

Results 11 comments of


                                            Mattia Mascia

guidance

Please see this as sample backup procedure : https://github.com/openlab-red/redis-ha/blob/master/management/backup/README.md About performance you can refer to the redis official document.

I can suggest to run all single command one by one from the following assignment and discover the error: `export REDIS_MASTER_IP=$(redis-cli -h backend-redis-sentinel -p 26379 --csv SENTINEL get-master-addr-by-name mymaster |awk...

When you scale down backend-redis-master to 0 "SYNC: No route to host"

It looks like the chosen MASTER is down or it does not exist anymore

Inconsistency in the behaviour of the $PATH environment variable within Devfile.

Adding `source /home/user/.bashrc` would probably solve it if you defined the `.bashrc` and the PATH export there, although if the developer image already provides the PATH, the bug remains.

Inconsistency in the behaviour of the $PATH environment variable within Devfile.

I noticed that a command defined in the devfile, triggered during the postStart event, does not share the same environment variables as it would if launched normally inside the workspace.

Inconsistency in the behaviour of the $PATH environment variable within Devfile.

Yes, I’m aware of the workaround, but as you mentioned, the challenge arises when dealing with multiple shell environments, which is my case. It becomes necessary to restore the SHELL...

Inconsistency in the behaviour of the $PATH environment variable within Devfile.

I will open a new one and put the details

Documentation and Solution Needed for Using Parent ID Devfiles Without an Internal Devfile Registry

Yes, we are currently using the same mechanism.

Documentation and Solution Needed for Using Parent ID Devfiles Without an Internal Devfile Registry

The only thing is missing you need to make the repo public, there is no way to provide authentication.

Dev Workspace Controller Loop with Identical Endpoint Names on DevWorkspace

Hi @AObuchow , I agree that notifying the user is the best approach for now. This way, they can make the necessary edits to the DW/devfile accordingly.