Peter Zandbergen
Peter Zandbergen
Just out of curiosity, is there any news on this one? After watching the VUG about garbage collection I wondered if the error should be looked for in that area....
Difficult one I guess
Stability should be more important, imho. I would not advocate using a tool for server applications if it could occasionally crash.
Especially when the design of the language is to eliminate crashes caused by the programmer.
Well done, never doubted that this would not be picked up in a serious way. Kudos
I have noticed that the issue did not occur in my environment anymore, being Ubuntu Mate in virtual box. Will test again this week to seeing if the problem has...
devbox shell cannot find the userid and groups and group names on a Linux VDI that uses LDAP for IAM
Here are devbox.json and the output of devbox shell with DEVBOX_DEBUG=1 [report.tar.gz](https://github.com/user-attachments/files/15711758/report.tar.gz)
devbox shell cannot find the userid and groups and group names on a Linux VDI that uses LDAP for IAM
Taken from the terminal [devbox.debug.terminal.log](https://github.com/user-attachments/files/15712530/devbox.debug.terminal.log)
devbox shell cannot find the userid and groups and group names on a Linux VDI that uses LDAP for IAM
Looking at the last log I thought that this file might be useful. It is the file that is mentioned at line 36 in the previous log file I sent....
devbox shell cannot find the userid and groups and group names on a Linux VDI that uses LDAP for IAM
I ran the bash with -x and the rc file and this is the begin of the output where the error messages are written [bash-x.log.tar.gz](https://github.com/user-attachments/files/15718862/bash-x.log.tar.gz)