>
>Control: tags -1 + moreinfo
>
>On Thu, Mar 14, 2024 at 11:11:30AM +0100, Francesco Potortì wrote:
>> The man page for findmnt lists a --delete option which is necessary to me.
>> Unfortunately, findmnt says it does not have such option, s (I resorted to
>> using mount for that.
>>
>> Either --delete should work for findmnt, or the man page should be amended
>> to remove the --delete option and ideally suggest using mount for those
>> needing it.
>
>The man page I have says nothing about --delete.
>It however lists --deleted (note the extra d).
Sure, sorry for the typo. It is --deleted:
# findmnt --deleted
findmnt: unrecognized option '--deleted'
Try 'findmnt --help' for more information.
