[RESOLU] 18.04 à côté de 14.04

moko138 · Le 24/10/2018, à 23:29

Là,

jeange a écrit :

cp -avi ~/PROV/.  /media/jeange/dext500/home-jeange-2016-09-20/jeange/Prov/
(...)
cp : voulez-vous écraser «/media/jeange/dext500/home-jeange-2016-09-20/jeange/Prov/./ob_f1d31e_affiche.jpg» ? jeange@jeange-W65-67SZ:~$

je ne comprends pas !
Le terminal te pose une question et passe à l'action immédiatement, sans attendre ta réponse ???

Et comme ceci :

cp -avu ~/PROV/.  /media/jeange/dext500/home-jeange-2016-09-20/jeange/Prov/

(Because :
-u, --update
ne copier que si le fichier source est plus récent que le
fichier destination ou si celui-ci n'existe pas
)
?

moko138 · Le 24/10/2018, à 23:35

sudo cp -av /media/jeange/dext500/home-jeange-2016-09-20/jeange/Prov/  /DATA-WD500/

moko138 · Le 24/10/2018, à 23:38

Et puisque tu n'as rien dans le Téléchargements de 14.04 :

sudo cp -av /media/jeange/dext500/home-jeange-2016-09-20/jeange/Téléchargements/  /DATA-WD500/

moko138 · Le 24/10/2018, à 23:41

Même vérification : Le "Vidéos" de 14.04 est-il vide ?
Si oui, alors :

sudo cp -av /media/jeange/dext500/home-jeange-2016-09-20/jeange/Vidéos/  /DATA-WD500/

moko138 · Le 24/10/2018, à 23:52

/!\ Celui-ci, très léger, on le copie directement dans ton home :

sudo cp -av /media/jeange/dext500/home-jeange-2016-09-20/jeange/.vuescan/  ~/

moko138 · Le 24/10/2018, à 23:55

cat /home/jeange/.config/user-dirs.dirs

jeange · Le 24/10/2018, à 23:56

jeange@jeange-W65-67SZ:~$ 
jeange@jeange-W65-67SZ:~$ 
jeange@jeange-W65-67SZ:~$ cat /home/jeange/.config/user-dirs.dirs
# This file is written by xdg-user-dirs-update
# If you want to change or add directories, just edit the line you're
# interested in. All local changes will be retained on the next run
# Format is XDG_xxx_DIR="$HOME/yyy", where yyy is a shell-escaped
# homedir-relative path, or XDG_xxx_DIR="/yyy", where /yyy is an
# absolute path. No other format is supported.
# 
XDG_DESKTOP_DIR="$HOME/Bureau"
XDG_DOWNLOAD_DIR="$HOME/"
XDG_TEMPLATES_DIR="$HOME/"
XDG_PUBLICSHARE_DIR="$HOME/"
XDG_DOCUMENTS_DIR="$HOME/"
XDG_MUSIC_DIR="$HOME/"
XDG_PICTURES_DIR="$HOME/"
XDG_VIDEOS_DIR="$HOME/"
jeange@jeange-W65-67SZ:~$ 
jeange@jeange-W65-67SZ:~$

moko138 · Le 25/10/2018, à 00:00

On fait une copie avant modification :

cp -a /home/jeange/.config/user-dirs.dirs  /home/jeange/.config/user-dirs.dirs.ANCIEN

moko138 · Le 25/10/2018, à 00:10

Tout ceci

# This file is written by xdg-user-dirs-update
# If you want to change or add directories, just edit the line you're
# interested in. All local changes will be retained on the next run
# Format is XDG_xxx_DIR="$HOME/yyy", where yyy is a shell-escaped
# homedir-relative path, or XDG_xxx_DIR="/yyy", where /yyy is an
# absolute path. No other format is supported.
# 
XDG_DESKTOP_DIR=/DATA-WD500/Bureau
XDG_DOWNLOAD_DIR=/DATA-WD500/Téléchargements
XDG_TEMPLATES_DIR="$HOME/"
XDG_PUBLICSHARE_DIR="$HOME/"
XDG_DOCUMENTS_DIR=/DATA-WD500/Documents
XDG_MUSIC_DIR=/DATA-WD500/Musique
XDG_PICTURES_DIR=/DATA-WD500/Images
XDG_VIDEOS_DIR=/DATA-WD500/Vidéos

tu le colles dans un nouveau fichier dans Gedit,

puis tu enregistres ce nouveau fichier sous :
/home/jeange/.config/user-dirs.dirs

Et tu redonnes :

cat /home/jeange/.config/user-dirs.dirs

jeange · Le 25/10/2018, à 00:19

jeange@jeange-W65-67SZ:~$ cat /home/jeange/.config/user-dirs.dirs
# This file is written by xdg-user-dirs-update
# If you want to change or add directories, just edit the line you're
# interested in. All local changes will be retained on the next run
# Format is XDG_xxx_DIR="$HOME/yyy", where yyy is a shell-escaped
# homedir-relative path, or XDG_xxx_DIR="/yyy", where /yyy is an
# absolute path. No other format is supported.
# 
XDG_DESKTOP_DIR=/DATA-WD500/Bureau
XDG_DOWNLOAD_DIR=/DATA-WD500/Téléchargements
XDG_TEMPLATES_DIR="$HOME/"
XDG_PUBLICSHARE_DIR="$HOME/"
XDG_DOCUMENTS_DIR=/DATA-WD500/Documents
XDG_MUSIC_DIR=/DATA-WD500/Musique
XDG_PICTURES_DIR=/DATA-WD500/Images
XDG_VIDEOS_DIR=/DATA-WD500/Vidéos
jeange@jeange-W65-67SZ:~$

moko138 · Le 25/10/2018, à 00:51

À corriger... à tête reposée !

moko138 · Le 25/10/2018, à 05:54

Explication de l'échec : j'avais tort, ci-dessus, de supprimer les guillemets.
Correction (et ajouts) :
Tout ceci

# This file is written by xdg-user-dirs-update
# If you want to change or add directories, just edit the line you're
# interested in. All local changes will be retained on the next run
# Format is XDG_xxx_DIR="$HOME/yyy", where yyy is a shell-escaped
# homedir-relative path, or XDG_xxx_DIR="/yyy", where /yyy is an
# absolute path. No other format is supported.
# 
XDG_DESKTOP_DIR="/DATA-WD500/Bureau"
XDG_DOWNLOAD_DIR="/DATA-WD500/Téléchargements"
XDG_TEMPLATES_DIR="$HOME/"
XDG_PUBLICSHARE_DIR="$HOME/"
XDG_DOCUMENTS_DIR="/DATA-WD500/Documents"
XDG_MUSIC_DIR="/DATA-WD500/Musique"
XDG_PICTURES_DIR="/DATA-WD500/Images"
XDG_VIDEOS_DIR="/DATA-WD500/Vidéos"
#  Ajouts du 25/10/2018 :
XDG_AD37_DIR="/DATA-WD500/AD37"
XDG_GALERIE_DIR="/DATA-WD500/GALERIE"
XDG_Prov_DIR="/DATA-WD500/Prov"

tu le colles dans un nouveau fichier dans Gedit,

puis Maj Ctrl s tu enregistres ce nouveau fichier sous :
/home/jeange/.config/user-dirs.dirs

Au message "...existe déjà. Voulez-vous le remplacer ?"
tu réponds que oui.

Et tu redonnes :

cat /home/jeange/.config/user-dirs.dirs

jeange · Le 25/10/2018, à 10:20

Bonjour,
Juste en passant un état de lieux, WD-500 est bien rempli
attention montage de 3 captures écran:

Images plus dispo.

De retour dans une heure.

Dernière modification par jeange (Le 28/01/2019, à 13:17)

jeange · Le 25/10/2018, à 12:04

La correction indiquée #313 sera à faire dext500 non branché ?

moko138 · Le 25/10/2018, à 12:41

Peu importe.

jeange · Le 25/10/2018, à 14:08

De retour pour 40mn

jeange@jeange-W65-67SZ:~$ cat /home/jeange/.config/user-dirs.dirs
# This file is written by xdg-user-dirs-update
# If you want to change or add directories, just edit the line you're
# interested in. All local changes will be retained on the next run
# Format is XDG_xxx_DIR="$HOME/yyy", where yyy is a shell-escaped
# homedir-relative path, or XDG_xxx_DIR="/yyy", where /yyy is an
# absolute path. No other format is supported.
# 
XDG_TEMPLATES_DIR="$HOME/"
XDG_PUBLICSHARE_DIR="$HOME/"
XDG_DESKTOP_DIR="$HOME/Bureau"
XDG_DOWNLOAD_DIR="$HOME/Téléchargements"
XDG_DOCUMENTS_DIR="$HOME/Documents"
XDG_MUSIC_DIR="$HOME/Musique"
XDG_PICTURES_DIR="$HOME/Images"
XDG_VIDEOS_DIR="$HOME/Vidéos"
jeange@jeange-W65-67SZ:~$

Ya un souci, après avoir redémarré:

jeange@jeange-W65-67SZ:~$ cat /home/jeange/.config/user-dirs.dirs
cat: /home/jeange/.config/user-dirs.dirs: Aucun fichier ou dossier de ce type
jeange@jeange-W65-67SZ:~$

Dernière modification par jeange (Le 19/01/2019, à 20:35)

jeange · Le 25/10/2018, à 15:56

Après un voyage en 18.04, le fichier user-dirs.dirs est celui d'hier et retour en 14.04 il y a celui d'hier et celui modifié aujourd'hui.
???

Dernière modification par jeange (Le 28/01/2019, à 13:18)

moko138 · Le 25/10/2018, à 16:15

Étrangeté 1 : même la sauvegarde faite en #309 est invisible !
Étrangeté 2 : le contenu de /home/jeange/.config/user-dirs.dirs n'est
ni celui prévu en #313,
ni celui effectif en #311 !

La seconde s'explique parce que tu as mis une S en trop :
users-dirs.dirs au lieu de
user-dirs.dirs

Montre :

cd; find ~ -name user-dirs.dir\*

ls -lat ~/.config | grep dirs | grep -v locale

cat ~/.config/users-dirs.dirs

jeange · Le 25/10/2018, à 18:33

jeange@jeange-W65-67SZ:~$ cd; find ~ -name user-dirs.dir\*
/home/jeange/.config/user-dirs.dirs
jeange@jeange-W65-67SZ:~$ ls -lat ~/.config | grep dirs | grep -v locale
-rw-------  1 jeange jeange  640 oct.  25 15:36 user-dirs.dirs
-rw-rw-r--  1 jeange jeange  789 oct.  25 14:05 users-dirs.dirs
jeange@jeange-W65-67SZ:~$ cat ~/.config/users-dirs.dirs
# This file is written by xdg-user-dirs-update
# If you want to change or add directories, just edit the line you're
# interested in. All local changes will be retained on the next run
# Format is XDG_xxx_DIR="$HOME/yyy", where yyy is a shell-escaped
# homedir-relative path, or XDG_xxx_DIR="/yyy", where /yyy is an
# absolute path. No other format is supported.
# 
XDG_DESKTOP_DIR="/DATA-WD500/Bureau"
XDG_DOWNLOAD_DIR="/DATA-WD500/Téléchargements"
XDG_TEMPLATES_DIR="$HOME/"
XDG_PUBLICSHARE_DIR="$HOME/"
XDG_DOCUMENTS_DIR="/DATA-WD500/Documents"
XDG_MUSIC_DIR="/DATA-WD500/Musique"
XDG_PICTURES_DIR="/DATA-WD500/Images"
XDG_VIDEOS_DIR="/DATA-WD500/Vidéos"
#  Ajouts du 25/10/2018 :
XDG_AD37_DIR="/DATA-WD500/AD37"
XDG_GALERIE_DIR="/DATA-WD500/GALERIE"
XDG_Prov_DIR="/DATA-WD500/Prov"
jeange@jeange-W65-67SZ:~$

Je n'ai plus qu'à réviser la conjugaison singulier/pluriels

moko138 · Le 26/10/2018, à 00:33

mv -v ~/.config/users-dirs.dirs  ~/.config/user-dirs.dirs

Au message "...existe déjà. Voulez-vous le remplacer ?"
tu réponds que oui.

Et tu redémarres.

jeange · Le 26/10/2018, à 08:10

Salut,

jeange@jeange-W65-67SZ:~$ mv -v ~/.config/users-dirs.dirs  ~/.config/user-dirs.dirs
mv: impossible d'évaluer «/home/jeange/.config/users-dirs.dirs»: Aucun fichier ou dossier de ce type
jeange@jeange-W65-67SZ:~$

et surprise dans .config:

# This file is written by xdg-user-dirs-update
# If you want to change or add directories, just edit the line you're
# interested in. All local changes will be retained on the next run
# Format is XDG_xxx_DIR="$HOME/yyy", where yyy is a shell-escaped
# homedir-relative path, or XDG_xxx_DIR="/yyy", where /yyy is an
# absolute path. No other format is supported.
# 
XDG_DESKTOP_DIR="/DATA-WD500/Bureau"
XDG_DOWNLOAD_DIR="/DATA-WD500/Téléchargements"
XDG_TEMPLATES_DIR="$HOME/"
XDG_PUBLICSHARE_DIR="$HOME/"
XDG_DOCUMENTS_DIR="/DATA-WD500/Documents"
XDG_MUSIC_DIR="/DATA-WD500/Musique"
XDG_PICTURES_DIR="/DATA-WD500/Images"
XDG_VIDEOS_DIR="/DATA-WD500/Vidéos"
#  Ajouts du 25/10/2018 :
XDG_AD37_DIR="/DATA-WD500/AD37"
XDG_GALERIE_DIR="/DATA-WD500/GALERIE"
XDG_Prov_DIR="/DATA-WD500/Prov"

users est devenu user, dois-je brûler 138 cierges à Saint Moko ?

moko138 · Le 26/10/2018, à 08:17

Bonjour !
Si ça ne renvoie pas encore à /DATA-WD500/, tu redémarres.

jeange · Le 26/10/2018, à 08:27

Redémarré mais les dossiers du home ( Desktop Documents Images Modèles Musique Public Téléchargements Vidéos Wallpapers ) sont vides alors que Bureau et PROV ont leurs éléments.

moko138 · Le 26/10/2018, à 08:51

Montre

cat ~/.config/user-dirs.dirs

et

ncdu /DATA-WD500

jeange · Le 26/10/2018, à 09:02

jeange@jeange-W65-67SZ:~$ cat ~/.config/user-dirs.dirs
# This file is written by xdg-user-dirs-update
# If you want to change or add directories, just edit the line you're
# interested in. All local changes will be retained on the next run
# Format is XDG_xxx_DIR="$HOME/yyy", where yyy is a shell-escaped
# homedir-relative path, or XDG_xxx_DIR="/yyy", where /yyy is an
# absolute path. No other format is supported.
# 
XDG_DESKTOP_DIR="/DATA-WD500/Bureau"
XDG_DOWNLOAD_DIR="/DATA-WD500/Téléchargements"
XDG_TEMPLATES_DIR="$HOME/"
XDG_PUBLICSHARE_DIR="$HOME/"
XDG_DOCUMENTS_DIR="/DATA-WD500/Documents"
XDG_MUSIC_DIR="/DATA-WD500/Musique"
XDG_PICTURES_DIR="/DATA-WD500/Images"
XDG_VIDEOS_DIR="/DATA-WD500/Vidéos"
#  Ajouts du 25/10/2018 :
XDG_AD37_DIR="/DATA-WD500/AD37"
XDG_GALERIE_DIR="/DATA-WD500/GALERIE"
XDG_Prov_DIR="/DATA-WD500/Prov"
jeange@jeange-W65-67SZ:~$

    22,9GiB [##########] /Images                                                 
  11,3GiB [####      ] /Vidéos
    4,8GiB [##        ] /AD37
    1,9GiB [          ] /Bureau
    1,0GiB [          ] /Documents
  256,0MiB [          ] /GALERIE
   72,4MiB [          ] /Téléchargements
   54,0MiB [          ] /Prov
   51,6MiB [          ] /Musique
!  16,0KiB [          ] /lost+found

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#301 Le 24/10/2018, à 23:29

Re : [RESOLU] 18.04 à côté de 14.04

#302 Le 24/10/2018, à 23:35

Re : [RESOLU] 18.04 à côté de 14.04

#303 Le 24/10/2018, à 23:38

Re : [RESOLU] 18.04 à côté de 14.04

#304 Le 24/10/2018, à 23:41

Re : [RESOLU] 18.04 à côté de 14.04

#305 Le 24/10/2018, à 23:52

Re : [RESOLU] 18.04 à côté de 14.04

#306 Le 24/10/2018, à 23:55

Re : [RESOLU] 18.04 à côté de 14.04

#307 Le 24/10/2018, à 23:56

Re : [RESOLU] 18.04 à côté de 14.04

#308 Le 25/10/2018, à 00:00

Re : [RESOLU] 18.04 à côté de 14.04

#309 Le 25/10/2018, à 00:10

Re : [RESOLU] 18.04 à côté de 14.04

#310 Le 25/10/2018, à 00:19

Re : [RESOLU] 18.04 à côté de 14.04

#311 Le 25/10/2018, à 00:51

Re : [RESOLU] 18.04 à côté de 14.04

#312 Le 25/10/2018, à 05:54

Re : [RESOLU] 18.04 à côté de 14.04

#313 Le 25/10/2018, à 10:20

Re : [RESOLU] 18.04 à côté de 14.04

#314 Le 25/10/2018, à 12:04

Re : [RESOLU] 18.04 à côté de 14.04

#315 Le 25/10/2018, à 12:41

Re : [RESOLU] 18.04 à côté de 14.04

#316 Le 25/10/2018, à 14:08

Re : [RESOLU] 18.04 à côté de 14.04

#317 Le 25/10/2018, à 15:56

Re : [RESOLU] 18.04 à côté de 14.04

#318 Le 25/10/2018, à 16:15

Re : [RESOLU] 18.04 à côté de 14.04

#319 Le 25/10/2018, à 18:33

Re : [RESOLU] 18.04 à côté de 14.04

#320 Le 26/10/2018, à 00:33

Re : [RESOLU] 18.04 à côté de 14.04

#321 Le 26/10/2018, à 08:10

Re : [RESOLU] 18.04 à côté de 14.04

#322 Le 26/10/2018, à 08:17

Re : [RESOLU] 18.04 à côté de 14.04

#323 Le 26/10/2018, à 08:27

Re : [RESOLU] 18.04 à côté de 14.04

#324 Le 26/10/2018, à 08:51

Re : [RESOLU] 18.04 à côté de 14.04

#325 Le 26/10/2018, à 09:02

Re : [RESOLU] 18.04 à côté de 14.04

Pied de page des forums