Forum général.cherche-logiciel Capture d'écran en GIF

Posté par  (site web personnel) . Licence CC By‑SA.
1
18
déc.
2020

Salut,

Je cherche à faire des captures d'écran en GIF pour faire une petite doc (sur DBeaver ;-) ). J'ai cherché sur le web mais même l'omni-présent Korben ne donne des solutions que pour Windows (et Mac).

Quelqu'un connait-il une solution sous Linux ?
J'utilise habituellement SimpleScreenRecorder pour faire des screen cast. J'ai essayé de lui faire générer un GIF, mais j'ai eu une erreur. Je ne suis pas sûr que SimpleScreenRecorder sache bien gérer le format GIF.

Merci d'avance (…)

Forum général.général Perte des Mots de passe dans Firefox

Posté par  (site web personnel) . Licence CC By‑SA.
0
4
déc.
2020

Salut,

Aujourd'hui, il m'est arrivé quelque chose de très bizarre : j'ai perdu tous mes mots de passe stockées dans Firefox.
Comme la plupart (tous ?) des browsers web modernes Firefox permet de stocker ces mots de passe en interne pour ne pas avoir à les retaper quand on revient sur un site où on a déjà enregistré le mot de passe.
Avec le service Firefox Sync, on peut même synchroniser ses données y compris les mot de (…)

Forum Linux.debian/ubuntu inverser les enceintes droite et gauche

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
6
3
nov.
2020

Salut,

Sur mon PC de bureau j'ai branché une paire d'enceintes. Le fil n'est pas très long et j'ai donc du brancher l'enceinte droite à gauche (et la gauche à droite). Pour écouter du "standard" ce n'est pas un souci mais pour certaines vidéo avec des "effets" stéréo ça peut être génant (e.g. un personnage à droite qui parle depuis le côté gauche).

Y a-t'il un moyen simple de résoudre ce petit problème (bien sûr je pourrais aussi brancher une (…)

Forum Linux.debian/ubuntu [Résolu] pas de son avec Firefox

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
1
3
nov.
2020

Salut,
ça fait plus de 10 ans que j'utilise Linux au quotidien et depuis quelques jours, je n'ai plus de son dans Firefox.
Je ne suis pas sûr de quand ça date exactement : je m'en suis aperçu en voulant écouter une vidéo YouTube. Du coup, j'ai essayé d'autres sources sonores: DailyMotion, France Inter et c'est pareil (pas de son).

Par contre, les applications de mon bureau et Chromium fonctionne bien avec le son (y compris YouTube (…)

Forum Linux.debian/ubuntu Télécharger des fichiers du noyau

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
0
3
oct.
2020

Salut,

En intervenant sur le PC de ma mère (sur une dérivée Ubuntu 18.04 - elementaryOs), j'ai été un peu trop rapide en supprimant les fichiers du kernel pour faire de la place (afin de pouvoir effectuer une mise à jour). J'ai supprimé les fichiers du kernel avant de finaliser la mise à jour : du coup, au démarrage le PC veut booter sur les fichiers qui ne sont plus là.

Je peux booter sur une clef USB et (…)

Forum Linux.debian/ubuntu Vive le clavier USB

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
6
12
juin
2020

Salut,

Il y a près d'un an, j'avais posté par rapport à un problème de clavier qui se bloquait.

Je n'avais jamais réussi à réparer ce problème. Depuis j'ai changé quelques fois de distro et je gardais ce problème. Je pensais donc que cela venait de mon profil (car je garde toujours le même profil).

Dernièrement, je suis passé à Ubuntu Budgie (journal à venir) et même si j'en étais très content, j'avais des soucis lié à mon profil (…)

Forum général.cherche-matériel REX: Microphone sous Linux

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
0
4
avr.
2020

Salut,

Jusqu'à maintenant, j'ai toujours utilisé un microphone embarqué : sur mon poste de travail, celui de la webcam et sur mes ordi portables le micro intégré. Cependant, aujourd'hui je cherche à améliorer la qualité afin de pouvoir faire des démos vidéos avec de la voix.

Comme je n'ai aucune expérience sur le sujet, je cherche des retours d'expérience : en particulier, les microphones qui fonctionnent sous Windows fonctionnent ils directement sous Linux ou peut-il y avoir des soucis  (…)

Forum Programmation.shell cp -R excluant un répertoire

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
1
16
jan.
2020

Salut,

J'ai besoin de faire un cp -R mon_rep mon_NEW_rep mais en excluant un répertoire contenu dans mon_rep.

Par exemple, mon_rep contient :
les répertoires RA, RB, RC, RD, RE, RF, RG, RH
et les fichiers f1,f2, f3, f4

Je veux lancer un cp -R mon_rep mon_NEW_rep mais sans copier RF.
Le hic, c'est que c'est une commande lancée dans un script shell sur des répertoires (mon_rep) différent et qui contiennent donc des fichiers et des (…)

Forum Linux.debian/ubuntu clavier gelé

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
2
25
juil.
2019

Salut,

Il m'arrive quelque chose de très bizarre avec une Ubuntu 18.04 : quand je me connecte à ma session, au login (ou quand je me reconnecte après une hibernation), après quelques secondes (disons 10) le clavier ne répond (presque) plus ! La souris fonctionne mais je ne peux plus rien taper dans n'importe quel application … sauf CTRL+Alt+F1 pour atteindre l'écran de connexion aux sessions. Là, je choisis mon login, je tape le mot de passe et je retrouve (…)

Forum Linux.debian/ubuntu apt-add-repository -u par défaut

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
0
17
juil.
2019

Salut,

Je tourne sur Ubuntu 18.04 et j'ai remarqué que maintenant après avoir ajouté un ppa avec la commande apt-add-repository un apt update est effectué automatiquement : est-ce que vous avez également ce comportement ?
Cela correspond à l'option -u … mais du coup y a -t'il une option pour inverser le comportement (pas de apt update) ou bien -u fait il maintenant le contraire de ce qui est prévu, étant que le défaut a été inversé ?

Forum Linux.debian/ubuntu LXDE + FileZilla = backspace + delete + touches fléchées KO !

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
1
5
juil.
2019

Salut,

Il m'arrive un truc très bizarre après plus de 10 ans de Linux (surtout Ubuntu), sur ma (installée récemment) Lubuntu 18.04, quand je suis dans FileZilla, les touches backspace, delete ainsi que les 4 flèches de déplacement du curseur ne fonctionnent pas (au moins, peut-être d'autres aussi … ah, si les raccourcis CTRL+C, CTRL+V ne fonctionnent pas non plus).

Le truc de ouf, c'est que je n'ai ce comportement que dans FileZilla : dès que je (…)

Forum général.cherche-matériel RAM de marque ou pas ?

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
0
2
avr.
2019

Salut,

Je me suis enfin décidé à augmenter la RAM du Mac de ma femme (comme indiqué dans une précédente question).

Chez Crucial, ils n'ont plus de cette mémoire.

Du coup, j'ai regardé sur CDiscount, et j'ai des tarifs très variés : Crucial 2Go 31.44€, Corsair 2Go 23.99€ et des sans marques entre 7 et 15€ (pour les moins chères).

Du coup, je me demandais si, comme par les cartes SD, il y avait des fake et (…)

Forum général.cherche-logiciel logiciel pour améliorer la santé du développeur

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
1
27
mar.
2019

Salut,

Je cherche un logiciel qui permette de faire régulièrement des pauses et des exercices lorsqu'on passe son temps devant un ordinateur (comme Badger sur elementaryOs).

J'ai fait une recherche mais je n'ai rien trouvé à part un article qui donne des exercices à faire (c'est bien la première fois que je cite LCI).

Je suis sur qu'il doit y avoir des logiciels sympa pour ça sur Linux.