View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
0000231fileGeneralpublic2021-01-24 01:232021-02-05 23:21
Reporterjidanni Assigned Tochristos  
PrioritylowSeverityminorReproducibilityalways
Status assignedResolutionopen 
Summary0000231: Empty file, or Empty directory?
Description$ touch AA
$ file AA
AA: empty
# Empty file, or Empty directory?

$ mkdir BB
$ file BB
BB: directory
# Well, you told us if a file is empty or not, you should also on
directories too.
TagsNo tags attached.

Activities

christos

2021-02-05 22:07

manager   ~0003539

It is doable, but then you need to deal with errors (what if permission denied etc.). More trouble than worth.

jidanni

2021-02-05 23:21

reporter   ~0003547

OK. Too bad.

Issue History

Date Modified Username Field Change
2021-01-24 01:23 jidanni New Issue
2021-02-05 22:05 christos Assigned To => christos
2021-02-05 22:05 christos Status new => assigned
2021-02-05 22:07 christos Status assigned => feedback
2021-02-05 22:07 christos Note Added: 0003539
2021-02-05 23:21 jidanni Note Added: 0003547
2021-02-05 23:21 jidanni Status feedback => assigned