Groups > linux.debian.bugs.dist > #1154985

Bug#1040841: texstudio: enable terminal build option

From	Tom Jampen <tom@cryptography.ch>
Newsgroups	linux.debian.bugs.dist
Subject	Bug#1040841: texstudio: enable terminal build option
Date	2023-07-20 16:10 +0200
Message-ID	<GTCvT-1x8H-9@gated-at.bofh.it> (permalink)
References	<GQkFb-4usn-9@gated-at.bofh.it> <GRwEh-eTo-1@gated-at.bofh.it> <GSvd8-R6x-11@gated-at.bofh.it> <GQkFb-4usn-9@gated-at.bofh.it> <GSvd8-R6x-11@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

close 1040841
thanks

Hi Axel

On 7/17/23 13:58, Axel Kittenberger wrote:
> I'm very sorry, I overlooked that on this machine "which texstudio"
> resulted in "/usr/local/bin/texstudio".

Thanks for clearing up the issue, I'm glad it works for you now.

Regards
Tom

Back to linux.debian.bugs.dist | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Bug#1040841: texstudio: enable terminal build option Axel Kittenberger <axkibe@gmail.com> - 2023-07-11 14:30 +0200
  Bug#1040841: texstudio: enable terminal build option Tom Jampen <tom@cryptography.ch> - 2023-07-14 21:30 +0200
    Bug#1040841: texstudio: enable terminal build option Axel Kittenberger <axkibe@gmail.com> - 2023-07-17 14:10 +0200
      Bug#1040841: texstudio: enable terminal build option Tom Jampen <tom@cryptography.ch> - 2023-07-20 16:10 +0200

csiph-web