When I run commands within cursor’s integrated terminal, the program name passed through the first command line arg, or argv[0] in C programs, is replaced with cursor-bin.AppImage.
This breaks tools like aqua (GitHub - aquaproj/aqua: Declarative CLI Version manager written in Go. Support Lazy Install, Registry, and continuous update with Renovate. CLI version is switched seamlessly · GitHub) and gcc as well (see the screenshot below).
I think this issue is also preventing the lake (the package/build manager for LEAN) command from working, although I can’t be certain.
Thanks for reporting this - definitely sounds like it could be related to the .AppImage format we use for Linux.
Would you be able to try running the same test app in VSCode to see what happens there? That would help us narrow down if it’s specifically related to how Cursor is handling argv[0]
For now, you can probably work around this by running lake commands in your system’s default terminal rather than Cursor’s integrated one while we investigate
Yes, it works correctly in VS Code.
Thanks for your help!
Thanks for the info! The team are aware, and are looking into this now!
As I mentioned, I believe this is more a side effect of the .appimage packaging than anything we have specifically coded!
I have the same issue with cursor appimage 0.45.14 on linux mint 22.1
@danperks have you seen Creating AppImages · AppImage/AppImageKit Wiki · GitHub ?
AppImages of type-2 sets the file name to ARGV0. This can cause problems in applications running zsh as a child process. In such applications, you need to create your own AppRun and unset ARGV0.
I had to move away from AppImage on linux mint ,to .deb due to this breaking agent view commands
