+cd "$DEST" >$devnull
+
+# ensure xdg user dirs, and move old to new while we're at it
+. $etc/user-dirs.dirs
+fixup_xdg_home() {
+ if [ -z "$1" -o "${1#/}" = "$1" -o "$(realpath "$1")" = "$(realpath "$HOME")" ]; then
+ return;
+ fi
+ mkdir -p "$1"
+ if [ $? -eq 0 -a -n "$2" -a -d "$2" ]; then
+ mv "$2"/* $1
+ rmdir "$2"
+ fi
+}
+fixup_xdg_home "$XDG_DESKTOP_DIR" Desktop
+fixup_xdg_home "$XDG_DOWNLOAD_DIR" Downloads
+fixup_xdg_home "$XDG_TEMPLATES_DIR"
+fixup_xdg_home "$XDG_PUBLICSHARE_DIR" Public
+fixup_xdg_home "$XDG_DOCUMENTS_DIR" Documents
+fixup_xdg_home "$XDG_MUSIC_DIR" Music
+fixup_xdg_home "$XDG_PICTURES_DIR" Pictures
+fixup_xdg_home "$XDG_VIDEOS_DIR" Videos
+
+cd "$old_pwd"