1. Home
2. Questions
3. Tags
5. Users
6. Jobs
7. Companies
8. Unanswered
Teams

Now available on Stack Overflow for Teams! AI features where you work: search, IDE, and chat.
Learn more Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

Marc Le Bihan

Member for 5 years, 4 months
Last seen this week

Paris, France

Summary

Reputation

2,043

2k
1.2k
313

2021
2022
2023
2024

Top tag

debian

Next privilege

2,500 Rep.

Create tag synonyms

Badges

3

17

40

Newest

Famous Question

Next badge

0/1

Excavator

Impact

~110k

people reached

0

posts edited

0

helpful flags

84

votes cast

Questions

View all 86 questions

23

Typing a bash command, I'm at its third line. But how do I return to its beginning to edit something I've missed?

Mar 21, 2022

23

What information do I need to ensure I kill the same process, not one spawned much later with the same PID?

Apr 16, 2023

20

What does "delaying package configuration, since apt-utils is not installed" truly mean? And what is the goal of apt-utils then?

Jan 14, 2021

18

How does a Linux operating system stand going back in time (when applying winter time for example)? Going back a second, would it be the same problem?

Mar 31

10

Debian 12 linux-image-6.1.0-18-amd64 dist-upgrade fails on nvidia GPL-incompatible module nvidia.ko uses GPL-only symbol '__rcu_read_lock'

Feb 11

Answers

View all 6 answers

2

Debian detects printer family, but no double sided printing; colors are inaccurate

Aug 3, 2019

2

An "exec bash" works on a bash command line, but not in a script. The tool refuses to respond: "provided file is not a console". What workaround?

Feb 11, 2021

2

Computer froze and unable to restart for tens of minutes : can my syslog show if the trouble comes from a memory stick, a package or its power unit?

Feb 18, 2021

0

My Realtek 8125 Ethernet card isn't reconized anymore after an apt-get update/dist-upgrade bring Debian 10 from 4.19.0.16 to 4.19.0.17 Linux image

Jun 20, 2021

0

How to notify the Debian team about an issue whose resolution looks unfinished? About dead keys bug, typing: ` + A gives `A and not À like before

Jun 10

Tags

View all 122 tags

debian

2

Score

33

posts

bash

2

Score

15

posts

console

2

Score

6

posts

cpu

2

Score

5

posts

docker

2

Score

4

posts

Reputation

+30

lib/xorg/Xorg →lib/x86_64-linux-gnu/libc.so →xorg/modules/drivers/nvidia_drv.so causes a segmentation fault. Should I report that to Debian team?

+10

Typing a bash command, I'm at its third line. But how do I return to its beginning to edit something I've missed?

+10

What are the risks of doing apt-get upgrade(s), but never apt-get dist-upgrade(s)?

+10

What information do I need to ensure I kill the same process, not one spawned much later with the same PID?

Badges

View all badges

3

gold badges

Famous Question

× 3

Sep 3

17

silver badges

Inquisitive

Sep 11, 2023
Enthusiast

Mar 28, 2023
Yearling

× 5

Apr 29

40

bronze badges

Benefactor

Nov 24, 2020
Promoter

Nov 19, 2020
Curious

Oct 1, 2019

Accounts

View all 37 accounts

3,157
4
31
58

2,043
3
17
40

Role-playing Games

403
4
7

Geographic Information Systems

246
1
8

Cross Validated

243
1
9

Active bounties (0)

This user has no active bounties

Votes cast

84

upvotes

18

question votes

66

answer votes