diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/hostclass/desktop | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/scripts/hostclass/desktop b/scripts/hostclass/desktop index 0195b3d..8c76472 100644 --- a/scripts/hostclass/desktop +++ b/scripts/hostclass/desktop @@ -189,3 +189,16 @@ for user in $digikam_db_users; do mysql_create_user "$digikam_db_host" "$user" gssapi mysql_create_database "$digikam_db_host" digikam "$user" done + +# Mount linux filesystems. +add_mountpoint(){ + awk -vpath="$1" 'BEGIN {rc=1} $2 == path {rc=0} END {exit rc}' /etc/fstab \ + || printf '%s %s %s %s 0 0\n' "$2" "$1" "$2" "$3" >> /etc/fstab + mount | awk -vpath="$1" 'BEGIN {rc=1} $3 == path {rc=0} END {exit rc}' \ + || mount -v "$1" +} +add_mountpoint /compat/linux/dev devfs rw,late +add_mountpoint /compat/linux/dev/shm tmpfs rw,late,size=1g,mode=1777 +add_mountpoint /compat/linux/dev/fd fdescfs rw,late,linrdlnk +add_mountpoint /compat/linux/proc linprocfs rw,late +add_mountpoint /compat/linux/sys linsysfs rw,late |