On 05/07/2018 07:01 AM, Thomas Schmitt wrote:
Hi,
Richard Owlett wrote:
richard@debian-jan13:~$ stat / | fgrep Device
Device: 80eh/2062d Inode: 2 Links: 22
richard@debian-jan13:~$ stat /media | fgrep Device
Device: 80eh/2062d Inode: 131073 Links: 5
"/media" was not th
On 2018-05-08 at 11:10, Richard Owlett wrote:
> On 05/07/2018 07:01 AM, Thomas Schmitt wrote:
>
>> Hi,
>>
>> Richard Owlett wrote:
>>> richard@debian-jan13:~$ stat / | fgrep Device
>>> Device: 80eh/2062d Inode: 2 Links: 22
>>> richard@debian-jan13:~$ stat /media | fgrep Device
>>>
On 05/08/2018 10:38 AM, The Wanderer wrote:
On 2018-05-08 at 11:10, Richard Owlett wrote:
On 05/07/2018 07:01 AM, Thomas Schmitt wrote:
Hi,
Richard Owlett wrote:
richard@debian-jan13:~$ stat / | fgrep Device
Device: 80eh/2062d Inode: 2 Links: 22
richard@debian-jan13:~$ stat /
On Tue 08 May 2018 at 11:38:52 (-0400), The Wanderer wrote:
> On 2018-05-08 at 11:10, Richard Owlett wrote:
>
> > On 05/07/2018 07:01 AM, Thomas Schmitt wrote:
> >
> >> Hi,
> >>
> >> Richard Owlett wrote:
> >>> richard@debian-jan13:~$ stat / | fgrep Device
> >>> Device: 80eh/2062d Inode: 2
On 2018-05-08 at 13:48, Richard Owlett wrote:
> On 05/08/2018 10:38 AM, The Wanderer wrote:
>> Have you tried
>>
>> stat /home/richard/.local/share/Trash/expunged/1449727740/grub2
>> problem-2018-02-13/
>>
>> and/or a 'ls' of the same directory?
>
> After adding required quotation marks:
Yes,
On 05/08/2018 09:39 PM, The Wanderer wrote:
On 2018-05-08 at 13:48, Richard Owlett wrote:
[massive SNIP]
What method are you using to delete it?
Moving directory to trash and then emptying the trash with MATE's
graphical tools.
If you haven't already, I'd recommend trying 'rm -r', *very* c
On 2018-05-09 at 08:28, Richard Owlett wrote:
> On 05/08/2018 09:39 PM, The Wanderer wrote:
>> If you haven't already, I'd recommend trying 'rm -r', *very*
>> carefully, from a command prompt. (Unless you have an extremely
>> unusual setup, that should avoid any possibility of an intermediary
>>
On 10/05/18 00:28, Richard Owlett wrote:
>> /home/richard/.local/share/Trash/expunged/1449727740/
>> └── grub2 problem-2018-02-13
>> └── grub2 problem-2018-02-13
>> └── grub2 problem-2018-02-13
>> └── grub2 problem-2018-02-13
>> └── grub2 problem-2018-02-13
On Tue 08 May 2018 at 22:39:55 (-0400), The Wanderer wrote:
> On 2018-05-08 at 13:48, Richard Owlett wrote:
>
> > On 05/08/2018 10:38 AM, The Wanderer wrote:
>
> >> Have you tried
> >>
> >> stat /home/richard/.local/share/Trash/expunged/1449727740/grub2
> >> problem-2018-02-13/
> >>
> >> and/or
On Wed, May 09, 2018 at 03:20:06PM -0500, David Wright wrote:
> remove-empties ()
> {
> [ -z "$1" ] && printf '%s\n' "Usage: $FUNCNAME directories ...
> removes any empty directories under the directories given after
> prompting." 1>&2 && return 1;
> local IFS="
> ";
> fin
On 2018-05-09 at 16:20, David Wright wrote:
> On Tue 08 May 2018 at 22:39:55 (-0400), The Wanderer wrote:
>> What method are you using to delete it?
>>
>> If you haven't already, I'd recommend trying 'rm -r', *very*
>> carefully, from a command prompt. (Unless you have an extremely
>> unusual se
On Wed 09 May 2018 at 16:32:03 (-0400), Greg Wooledge wrote:
> On Wed, May 09, 2018 at 03:20:06PM -0500, David Wright wrote:
> > remove-empties ()
> > {
> > [ -z "$1" ] && printf '%s\n' "Usage:$FUNCNAME directories ...
> > removes any empty directories under the directories given afte
On Wed 09 May 2018 at 22:56:48 (-0400), The Wanderer wrote:
> On 2018-05-09 at 16:20, David Wright wrote:
>
> > On Tue 08 May 2018 at 22:39:55 (-0400), The Wanderer wrote:
>
> >> What method are you using to delete it?
> >>
> >> If you haven't already, I'd recommend trying 'rm -r', *very*
> >> c
13 matches
Mail list logo