On 4/14/20 4:46 PM, gentoo_esh...@tutanota.com wrote:
> Another 'face' issue(the 3rd?) I just noticed now:
> if I paste something that has "\n" inside it, like these 3 lines(only the
> first 2 lines have \n, but doesn't matter):
> -bash: mk_add_options: command not found
> -bash: mk_add_options: c
On 4/14/20 1:43 PM, Martin Schulte wrote:
> Hello Chet, hello Felix, hello all!
>
>>> Bash Version: 5.0
>>> Patch Level: 16
>>> Release Status: release
>>>
>>> Description:
>>> Integer part of $EPOCHREALTIME could increase more than 8000
>>> microseconds before $EPOCHSECONDS
>>
>> It's the
Hello Chet, hello Felix, hello all!
> > Bash Version: 5.0
> > Patch Level: 16
> > Release Status: release
> >
> > Description:
> > Integer part of $EPOCHREALTIME could increase more than 8000
> > microseconds before $EPOCHSECONDS
>
> It's the difference between time() and gettimeofday().
On 4/14/20 4:41 AM, fe...@f-hauri.ch wrote:
> Bash Version: 5.0
> Patch Level: 16
> Release Status: release
>
> Description:
> Integer part of $EPOCHREALTIME could increase more than 8000
> microseconds
> before $EPOCHSECONDS
It's the difference between time() and gettimeofday()
Configuration Information:
Machine: x86_64
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS: -g -O2 -Wno-parentheses -Wno-format-security
uname output: Linux medium 4.19.0-8-amd64 #1 SMP Debian 4.19.98-1 (2020-01-26)
x86_64 GNU/Linux
Machine Type: x86_64-pc-linux-gnu
Bash Version: 5.0
Patch Level:
