Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


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

Bug#1040841: texstudio: enable terminal build option

From Axel Kittenberger <axkibe@gmail.com>
Newsgroups linux.debian.bugs.dist
Subject Bug#1040841: texstudio: enable terminal build option
Date 2023-07-17 14:10 +0200
Message-ID <GSvd8-R6x-11@gated-at.bofh.it> (permalink)
References <GQkFb-4usn-9@gated-at.bofh.it> <GRwEh-eTo-1@gated-at.bofh.it> <GQkFb-4usn-9@gated-at.bofh.it> <GRwEh-eTo-1@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


[Multipart message — attachments visible in raw view] - view raw

Hello Tom,
I'm very sorry, I overlooked that on this machine "which texstudio"
resulted in "/usr/local/bin/texstudio".
Some self compiled version at some point due to testing something back
then, which took preference. I removed that, started the
correct distribution one, and yes the terminal is there as designed.
Thank you very much, you can close this as taken care of with full
satisfaction.
- Axel

On Fri, Jul 14, 2023 at 9:11 PM Tom Jampen <tom@cryptography.ch> wrote:

> tags 1040841 + unreproducible
> thanks
>
> Hi Axel
>
> I remember your email and I've found it in my archive, it's from Oct
> 2021. I checked my git commits and found that I've activated the
> terminal with the upload of version 3.0.4+ds-2 in Oct 2021[1]. The
> internal terminal is still working for me with the current version in
> Bookworm (4.3.1+ds-2).
>
> I see the additional "Terminal" tab next to "Message", "Log", "Preview"
> and "Search Results" (as it is shown in your github pull request). When
> I start TeXstudio with a clean config, the Terminal tab is there as
> well. Sorry, I can't reproduce this.
>
> You say the tab is not visible when you start TeXstudio? And you don't
> see the config options if you enable advanced options?
>
> Kind regards
> Tom
>
> [1]:
>
> https://tracker.debian.org/news/1267252/accepted-texstudio-304ds-2-source-into-unstable/
>

Back to linux.debian.bugs.dist | Previous | Next — Previous in thread | Next 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