On Mon, Jul 31, 2023 at 11:30:38AM +, olivares33561 via users wrote:
Sent from ProtonMail, encrypted email based in Switzerland.
Sent with Proton Mail secure email.
--- Original Message ---
On Friday, July 28th, 2023 at 1:38 PM, Mike Wright
wrote:
...
... OR ...
you could
Sent from ProtonMail, encrypted email based in Switzerland.
Sent with Proton Mail secure email.
--- Original Message ---
On Friday, July 28th, 2023 at 1:38 PM, Mike Wright
wrote:
> On 7/28/23 05:31, olivares33561 via users wrote:
>
> > Dear fellow Fedora users
> >
> > I have a f
On 7/28/23 05:31, olivares33561 via users wrote:
Dear fellow Fedora users
I have a file with entries
\input{file1}
\input{file2}
...
\input{fileN}
How can I add extension
\input{file1.eps}
\input{file2.eps}
.
\input{file3.eps}
In case I need to add *jpg or *.png extension. I believe awk or se
On 7/28/23 05:31, olivares33561 via users wrote:
Dear fellow Fedora users
I have a file with entries
\input{file1}
\input{file2}
...
\input{fileN}
How can I add extension
\input{file1.eps}
\input{file2.eps}
.
\input{file3.eps}
In case I need to add *jpg or *.png extension. I believe awk or se
users
Cc: olivares33561
Subject: OT: sed or awk command to add a file extension
Dear fellow Fedora users I have a file with entries
\input{file1}\input{file2}...\input{fileN} How can I add
extension\input{file1.eps}\input{file2.eps}.\input{file3.eps} In case I need to
add *jpg or *.png ex
On 7/28/23 05:31, olivares33561 via users wrote:
Dear fellow Fedora users
I have a file with entries
\input{file1}
\input{file2}
...
\input{fileN}
How can I add extension
\input{file1.eps}
\input{file2.eps}
.
\input{file3.eps}
In case I need to add *jpg or *.png extension. I believe awk or se
On Fri, 28 Jul 2023 12:31:49 +
olivares33561 via users wrote:
> Dear fellow Fedora users
>
> I have a file with entries
>
> \input{file1}
> \input{file2}
> ...
> \input{fileN}
>
> How can I add extension
> \input{file1.eps}
> \input{file2.eps}
> .
> \input{file3.eps}
I could try to hack s
Dear fellow Fedora users
I have a file with entries
\input{file1}
\input{file2}
...
\input{fileN}
How can I add extension
\input{file1.eps}
\input{file2.eps}
.
\input{file3.eps}
In case I need to add *jpg or *.png extension. I believe awk or sed would do
the job. Thanks in advance
Best Regard
