Discussion:
Error when running `tlmgr path remove` if docs are not installed
(too old to reply)
Yihui Xie
2017-12-05 21:26:00 UTC
Permalink
Raw Message
Hi,

If I install TeX Live without docs (e.g., set option_doc 0 in a profile
file for automated installation), `tlmgr path add` is fine, but I'll run
into an error like this when I run `tlmgr path remove`:

sh: line 0: cd: $TEXDIR/texmf-dist/doc/man: No such file or directory

I wonder if we could get rid of this error message by checking if the dir
exists before cd.

Regards,
Yihui
--
https://yihui.name
Karl Berry
2017-12-06 00:26:15 UTC
Permalink
Raw Message
sh: line 0: cd: $TEXDIR/texmf-dist/doc/man: No such file or directory

Tried to fix in r45994, though I guess it won't show up until the next
time we push tlcritical to tlnet. You could just patch
tlpkg/TeXLive/TLUtils.pm by hand if you want to try it ... --thanks, karl.

--- TLUtils.pm (revision 45993)
+++ TLUtils.pm (working copy)
@@ -1945,7 +1945,7 @@
# man
my $top_man_dir = "$Master/texmf-dist/doc/man";
debug("$mode symlinks for man pages to $sys_man from $top_man_dir\n");
- if (! -d $top_man_dir && $mode eq "add") {
+ if (! -d $top_man_dir) {
; # better to be silent?
#info("skipping add of man symlinks, no source directory $top_man_dir\n");
} else {

Loading...