diff options
author | Karl Berry <karl@freefriends.org> | 2024-03-06 23:31:58 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2024-03-06 23:31:58 +0000 |
commit | 10094ebc68285d0d29b333cd3aa58f4af1a9d881 (patch) | |
tree | fc43dfd5f87c6b9150f47a1e946d9302181456ec /Build | |
parent | 7bfea30cc220c2359a4112eecf812e3b4317e53b (diff) |
sync
git-svn-id: svn://tug.org/texlive/trunk@70454 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl | 5 | ||||
-rw-r--r-- | Build/source/texk/texlive/windows_wrapper/runscript.tlu | 2 |
2 files changed, 5 insertions, 2 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl b/Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl index 02bd6a2bd40..5d34e2197cc 100755 --- a/Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl +++ b/Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl @@ -1,6 +1,6 @@ #!/usr/bin/env wish -# Copyright 2017-2023 Siep Kroonenberg +# Copyright 2017-2024 Siep Kroonenberg # This file is licensed under the GNU General Public License version 2 # or any later version. @@ -2215,6 +2215,9 @@ proc do_package_popup_menu {x y X Y} { remove_pkgs "focus" } } + .pkg_popup add command -label [__ "Reporting bugs"] -command { + run_cmd "bug [.pkglist focus]" 1; vwait ::done_waiting + } .pkg_popup post [expr {$X - 2}] [expr {$Y - 2}] focus .pkg_popup } ; # do_package_popup_menu diff --git a/Build/source/texk/texlive/windows_wrapper/runscript.tlu b/Build/source/texk/texlive/windows_wrapper/runscript.tlu index 7d6af334d28..c0276ced5e9 100644 --- a/Build/source/texk/texlive/windows_wrapper/runscript.tlu +++ b/Build/source/texk/texlive/windows_wrapper/runscript.tlu @@ -1,7 +1,7 @@ local svnrevision = string.match("$Revision: 70363 $", "%d+") or "0" -local svndate = string.match("$Date: 2024-03-02 16:45:04 -0800 (Sat, 02 Mar 2024) $", "[-%d]+") or "2009-12-04" +local svndate = string.match("$Date: 2024-03-03 01:45:04 +0100 (Sun, 03 Mar 2024) $", "[-%d]+") or "2009-12-04" local bannerstr = "runscript wrapper utility (rev. " .. svnrevision .. ", " .. svndate .. ")\n" .. "usage: runscript script-name [arguments]\n" .. |