Page 1 sur 1

[Résolu] Raccourci F10 ne marche pas avec Dolphin

Posté : lun. 21 août 2017 08:34
par Lys
Bonjour, je suis sur Linux Mint KDE et j'ai un problème dans Dolphin, je voudrais utiliser le raccourci clavier F10 pour créer un nouveau dossier mais ça ne fonctionne pas.

Par défaut sur mon ordi F10 coupe le son. J'essaye donc F10 + FN mais rien ne se passe...

Avez-vous une idée ? Merci d'avance et à bientôt.

Re: Raccourci F10 ne marche pas avec Dolphin

Posté : lun. 21 août 2017 08:53
par arghlub
Salut,

Tu es avec quelle version LMint ?
Moi avec LMint17.3 KDE, ce raccourci marche parfaitement.

Es-tu aller voir dans le menu de Dolphin «Configuration>Configurer les raccourcis clavier» (au pire, mets un autre raccourci)

;)

Re: Raccourci F10 ne marche pas avec Dolphin

Posté : lun. 21 août 2017 10:17
par débitant
Bonjour,
Pour plus de clarté dans le suivi de vos sujets et pour une aide la plus efficace possible, merci de mettre la configuration de votre matériel dans la signature, pour cela Aide pour une signature utile Image

Re: Raccourci F10 ne marche pas avec Dolphin

Posté : lun. 21 août 2017 22:52
par Lys
Bonsoir et merci pour vos réponses. Je suis sous Linux Mint 18.1 Serena en dual boot avec Windows 10.

J'ai vu qu'on pouvait effectivement créer un raccourci personnalisé, pas contre comment fait-on pour entrer la commande "créer un nouveau dossier" ?

Désolé je débute sur Linux, merci d'avance et à bientôt .

Re: Raccourci F10 ne marche pas avec Dolphin

Posté : mar. 22 août 2017 08:34
par alain
Bonjour Lys.

Je ne te dirai pas la commande pour créer un nouveau dossier, car ce n'est pas ce que tu cherches. Mais par contre, pour changer de touche de raccourci,
quand tu es dans "configuré les raccourcis" , tu cliques sur celui " créer un dossier" qui est actuellement sur la touche F10, puis tu sélectionne "personnalisé"
à la place de "par défaut" , puis tu cliques sur "aucun" juste a droite de "personnalisé", "saisie" s'affiche à la place de "aucun" et la il ne te reste plus
qu'a appuyer sur la touche de ton choix.

Sinon, je ne suis pas vache, la commande c'est "mkdir Le_Nom_Du_Dosier_A_Créer". Mais je n'ai aucune idée de comment entrer ça dans dolphin
d'autant plus qu'il faut qu'elle prenne en compte le chemin du dossier dans lequel tu veux créer un dossier.
Ce n'est pas ton soucis, toi tu veux simplement que la commande existante soit affecté à une autre touche.
Choisis en une qui n'est affectée a rien en hardware. Sur les portables il y souvent des touches affectées d'origine a une fonction, généralement
il y a un pictogramme qui l'indique, regarde bien que la touche que tu vas affecter a "créer un dossier" ne comporte pas se genre de pictograme.

Re: Raccourci F10 ne marche pas avec Dolphin

Posté : mer. 23 août 2017 15:59
par Lys
Bonjour Alain et merci pour ton aide, grâce à toi le problème est résolu !

J'ai enlevé F10 comme touche pour couper le son par défaut et automatiquement sans rien faire d'autre, j'ai pu créer des dossiers avec cette touche... elle a récupéré sa fonction initiale...bien pratique ^^

Encore merci et à bientôt sur le forum !