User Philippe

18 votes

3 answers

6k views

Use shift-Insert to paste in WSL

asked Mar 18, 2020 at 14:33

17 votes

1 answer

647 views

Why does "$$" not change in a bash pipeline? Don't they start subprocesses?

asked Jan 9, 2020 at 19:10

7 votes

0 answers

140 views

Why does `kill -0` return success on a non-existent process?

asked Oct 30 at 0:05

6 votes

1 answer

2k views

Failed to start chromium on a X-forwarded ssh connection

asked Mar 21, 2022 at 17:40

6 votes

1 answer

166 views

Why the codes generated by [UP] key changed after ssh session

asked Dec 24, 2019 at 12:26

5 votes

4 answers

4k views

Is there, in bash, a builtin command to get the absolute path of a relative file path?

asked Dec 21, 2019 at 10:46

2 votes

1 answer

92 views

Can the script detect a difference between "bash somescript" and "bash -c 'source somescript'"?

asked Jan 24, 2020 at 20:10

2 votes

1 answer

1k views

Including timestamp in output from "RAISE" in PostgreSQL

asked Apr 20, 2020 at 14:24

1 vote

2 answers

668 views

Line wrap in xterm/bash

asked Sep 19, 2020 at 9:09

1 vote

1 answer

427 views

git-bash window title issue

asked Nov 25, 2021 at 11:57

1 vote

0 answers

47 views

How can I start a terminal running vim with a input file

asked Feb 9, 2020 at 21:45

1 vote

0 answers

106 views

Difference in sorting behaviour based on LANG setting

asked Mar 7, 2020 at 21:09

0 votes

1 answer

480 views

Why can I not change window title with mintty/wsl

asked Jan 14, 2020 at 17:26

0 votes

0 answers

67 views

How to change geometry and font of Terminal on macOS?

asked Dec 23, 2019 at 23:02

0 votes

1 answer

181 views

How to use vmware and docker on Windows 10 at the same time

asked Dec 23, 2019 at 23:43

0 votes

0 answers

68 views

How to set correct time on Windows and Ubuntu

asked Jan 4, 2020 at 9:16

0 votes

0 answers

39 views

bash terminal display issue [duplicate]

asked Aug 11 at 19:56

0 votes

0 answers

27 views

Linux umask difference between root and non-root user

asked Aug 20 at 18:06

0 votes

1 answer

78 views

Slowness in cygwin

asked Nov 21, 2020 at 18:19

0 votes

0 answers

139 views

Why the color string gives different result if produced by python?

asked Mar 24, 2020 at 13:27

Stack Exchange Network

20 Questions

Use shift-Insert to paste in WSL

Why does "$$" not change in a bash pipeline? Don't they start subprocesses?

Why does `kill -0` return success on a non-existent process?

Failed to start chromium on a X-forwarded ssh connection

Why the codes generated by [UP] key changed after ssh session

Is there, in bash, a builtin command to get the absolute path of a relative file path?

Can the script detect a difference between "bash somescript" and "bash -c 'source somescript'"?

Including timestamp in output from "RAISE" in PostgreSQL

Line wrap in xterm/bash

git-bash window title issue

How can I start a terminal running vim with a input file

Difference in sorting behaviour based on LANG setting

Why can I not change window title with mintty/wsl

How to change geometry and font of Terminal on macOS?

How to use vmware and docker on Windows 10 at the same time

How to set correct time on Windows and Ubuntu

bash terminal display issue [duplicate]

Linux umask difference between root and non-root user

Slowness in cygwin

Why the color string gives different result if produced by python?