nixpkgs/pkgs/tools/filesystems/davfs2
Florian Klink 1ec5d8249c davfs2: substitute ps command
umount.davfs2 uses ps to get a process list to terminate gracefully.

On NixOS, this currently fails:

```
sh: ps: command not found
/run/current-system/sw/bin/umount.davfs:
  can't find mount.davfs-process with pid 4085;
  trying to unmount anyway.
  you propably have to remove /var/run/mount.davfs/root-x.pid manually
sh: umount: command not found
```

Fix this by patching ${procps}/bin/ps into the ps_command.

Afterwards:

```
umount.davfs: waiting for mount.davfs (pid 4106) to terminate gracefully .. OK
```
2020-01-12 00:01:59 +01:00
..
0001-umount_davfs-substitute-ps-command.patch davfs2: substitute ps command 2020-01-12 00:01:59 +01:00
default.nix davfs2: substitute ps command 2020-01-12 00:01:59 +01:00
fix-sysconfdir.patch
isdir.patch