[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Workshop to save M$ Windows users - help needed
From: |
Eduardo Ochs |
Subject: |
Re: Workshop to save M$ Windows users - help needed |
Date: |
Sun, 3 Oct 2021 07:19:16 -0300 |
On Sun, 3 Oct 2021 at 06:38, Eli Zaretskii <eliz@gnu.org> wrote:
>
> I don't understand why you need to tell them to install Bash.
> Installing Bash means installing MSYS2, which comes with lots of
> ballast most people won't need. In addition, Bash is a totally alien
> beast for your audience, even if they are familiar with the Windows'
> own shell, either cmd.exe or PowerShell. You are raising the bar very
> highly without any justification.
>
> If your main goal is to teach them Emacs as the platform to do these
> small jobs, my suggestion is to use Eshell. Even that is already
> problematic, because for some jobs they will have to install ports of
> GNU tools: Grep, Diff, etc. But at least they could limit themselves
> to installing a small number of relatively small packages, and won't
> need to deal with the mess of MSYS2 executables vs native Windows
> (a.k.a. MinGW64) executables, and won't need Bash.
Ok, let's forget bash, then!
Eshell should be enough.
What is a good way for installing wget and a program from
unzipping/untgzipping files? Which un(tg)zipper do you recommend? I
remember vaguely using something called 7z ages ago...
Also, what is a good way to make sure that these programs are in the
PATH? If each student can send me their original PATH and the full
paths to these programs I can produce a sexp like this for each one...
(setenv "PATH"
(concat
"/path/to/wget:"
"/path/to/7z:"
"/home/edrx/bin:/home/edrx/.elan/bin:/home/edrx/.local/bin:/home/edrx/.cabal/bin:/home/edrx/.ghcup/bin:/usr/local/texlive/2021/bin/x86_64-linux:/home/edrx/bin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games:.:/home/edrx/EXPECT:/home/edrx/TCL:/home/edrx/pkg/bin")
)
Thanks in advance =),
E.
- Workshop to save M$ Windows users - help needed, Eduardo Ochs, 2021/10/03
- Re: Workshop to save M$ Windows users - help needed, Jean Louis, 2021/10/03
- Re: Workshop to save M$ Windows users - help needed, Eli Zaretskii, 2021/10/03
- Re: Workshop to save M$ Windows users - help needed,
Eduardo Ochs <=
- Re: Workshop to save M$ Windows users - help needed, Eli Zaretskii, 2021/10/03
- Re: Workshop to save M$ Windows users - help needed, Eduardo Ochs, 2021/10/03
- Re: Workshop to save M$ Windows users - help needed, Tomas Hlavaty, 2021/10/03
- Re: Workshop to save M$ Windows users - help needed, Eduardo Ochs, 2021/10/03
- Re: Workshop to save M$ Windows users - help needed, Tomas Hlavaty, 2021/10/04
- Re: Workshop to save M$ Windows users - help needed, Tomas Hlavaty, 2021/10/04
- Re: Workshop to save M$ Windows users - help needed, Eduardo Ochs, 2021/10/06
- Re: Workshop to save M$ Windows users - help needed, Emanuel Berg, 2021/10/06
- Re: Workshop to save M$ Windows users - help needed, Eli Zaretskii, 2021/10/06
- Re: Workshop to save M$ Windows users - help needed, Eduardo Ochs, 2021/10/07