checkrestart: Skip files under /dev (Closes: #827696)
Peter Colberg authored 7 years ago
Axel Beckert committed 7 years ago
473 | 473 | # Or about files under /tmp |
474 | 474 | if f.startswith('/tmp/'): |
475 | 475 | return 0 |
476 | # Or about files under /dev/shm | |
477 | if f.startswith('/dev/shm/'): | |
476 | # Or about files under /dev | |
477 | if f.startswith('/dev/'): | |
478 | 478 | return 0 |
479 | 479 | # Or about files under /run |
480 | 480 | if f.startswith('/run/'): |
484 | 484 | return 0 |
485 | 485 | # Or about files under /var/tmp and /var/local/tmp |
486 | 486 | if f.startswith('/var/tmp/') or f.startswith('/var/local/tmp/'): |
487 | return 0 | |
488 | # Or /dev/zero | |
489 | if f.startswith('/dev/zero'): | |
490 | return 0 | |
491 | # Or /dev/pts (used by gpm) | |
492 | if f.startswith('/dev/pts/'): | |
493 | 487 | return 0 |
494 | 488 | # Or /usr/lib/locale |
495 | 489 | if f.startswith('/usr/lib/locale/'): |