diff options
| -rw-r--r-- | meta/recipes-core/udev/udev-extraconf/mount.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/meta/recipes-core/udev/udev-extraconf/mount.sh b/meta/recipes-core/udev/udev-extraconf/mount.sh index 79eb0145c2..b23731870e 100644 --- a/meta/recipes-core/udev/udev-extraconf/mount.sh +++ b/meta/recipes-core/udev/udev-extraconf/mount.sh | |||
| @@ -38,6 +38,12 @@ done | |||
| 38 | automount_systemd() { | 38 | automount_systemd() { |
| 39 | name="`basename "$DEVNAME"`" | 39 | name="`basename "$DEVNAME"`" |
| 40 | 40 | ||
| 41 | # Skip already mounted partitions | ||
| 42 | if [ -f /run/systemd/transient/run-media-$name.mount ]; then | ||
| 43 | logger "mount.sh/automount" "/run/media/$name already mounted" | ||
| 44 | return | ||
| 45 | fi | ||
| 46 | |||
| 41 | # Skip the partition which are already in /etc/fstab | 47 | # Skip the partition which are already in /etc/fstab |
| 42 | grep "^[[:space:]]*$DEVNAME" /etc/fstab && return | 48 | grep "^[[:space:]]*$DEVNAME" /etc/fstab && return |
| 43 | for n in LABEL PARTLABEL UUID PARTUUID; do | 49 | for n in LABEL PARTLABEL UUID PARTUUID; do |
