Nicolas Canceill

Hi, I suspect the problem is not your data file: it is you original PDF file. It is too large. The script goes through the whole PDF file and the...

Hi, and thanks for contributing. I did not know of an alternate syntax with whitespaces for TJ operators. It is good to be able to find them all. I need...

OK, I will look into it, thanks. The stdout option for extract should be easy, I will get on it too. NDA is understandable, so much for my curiosity. I...

Moar info with RPM debugging enabled: Loading vessel (click to expand) ``` [LOG 13:45:26.151] [JSISetInternalCameraFOV]: Setting per-seat camera parameters for seat 0: fov 60, maxRot 90, maxPitch 80, minPitch -40,...

Thank you very much @MOARdV for your input! (even though you confirmed my pessimistic assumption) I am reviewing my options on this and I have a few questions on RPM...

Hi, and thanks for reporting. It should work though. You can try to redirect `stderr` like so: ``` bash vcsh run 1>/dev/null 2>/dev/null ```

I confirm this issue, thanks @linuxgurugamer for the fix! I cannot wait for it to be merged

Hi, Since #2602 we are using Zsh default completion. I completes **both** from `hosts` and your `.ssh/config`. However, as you apparently noticed, it does not complete the "HostName" values from...

Sorry, English is a second language. Let me try again. You wrote: > bash completion takes the Host field rather than the hostname. Zsh does the same. Since #2602, so...

Aha, I get it now. Let me look into it — maybe Zsh completion is not enough after all. @blueyed care to weigh in?