First of all, do not send unsolicited email to my private address.
Especially, please don't use my company email address.
Keep Cygwin stuff on the cygwin list.
On Aug 11 10:25, Martin Wege wrote:
> Hello,
>
> Cygwin somehow breaks unmounting of network shares, but ONLY if the
> net use /delete
Hi!
Cygwin test release 3.5.0-0.384.g9939aa7d0945.x86_64 has some weird path
problems with network filesystems on Windows 10. Previous stable version of
Cygwin (4.7.x ?) worked fine.
In our case we have a project with both custom binaries and sources both hosted
on the filesystem as /hom
On Tue, 8 Aug 2023 at 20:53, Corinna Vinschen wrote:
>
> On Aug 8 16:52, Cedric Blancher via Cygwin wrote:
> > Good afternoon!
> >
> > How do I set mount posix=1 option for an existing bind mount? mount -o
> > remount does not work.
>
> Did you read https://cygwin.com/cygwin-ug-net/mount.html?
>
Good evening!
How can we set the scheduler priority for a Cygwin process to "higher"
than normal on start?
Basically we want a Cygwin compatible script version of the Windows
task manager feature Name/PID--->Details--->Set priority--->Higher
Ced
--
Cedric Blancher
[https://plus.google.com/u/0/
Good evening!
Does Cygwin have a tool like lsof which can list which files or
directories are in use by a Windows process?
Ced
--
Cedric Blancher
[https://plus.google.com/u/0/+CedricBlancher/]
Institute Pasteur
--
Problem reports: https://cygwin.com/problems.html
FAQ: ht
On 2023-08-11 09:45, Cedric Blancher via Cygwin wrote:
Does Cygwin have a tool like lsof which can list which files or
directories are in use by a Windows process?
You can check these things yourself using the Cygwin Search Packages page:
https://cygwin.com/packages/
type "usr/bin/lso
On 2023-08-11 09:44, Cedric Blancher via Cygwin wrote:
How can we set the scheduler priority for a Cygwin process to "higher"
than normal on start?
Basically we want a Cygwin compatible script version of the Windows
task manager feature Name/PID--->Details--->Set priority--->Higher
Pretend the
7 matches
Mail list logo