[no subject]

2025-07-17 Thread Mathew Alexander
WebRep Overall rating WebRep Overall rating

Re: Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread tomas
On Thu, Jul 17, 2025 at 07:56:39PM -0400, Dan Purgert wrote: > On Jul 18, 2025, lbrt...@tutamail.com wrote: > > OK, it makes some more sense now. The range of digits in the octal > > system is from 0 to 7, so it would complain with "08" and "09" (but > > not with "10" which would then be "8" in oct

Re: Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread David Wright
On Thu 17 Jul 2025 at 23:39:02 (+0200), lbrt...@tutamail.com wrote: > Video durations are formatted in youtube's .info.json files as "HH:MM:SS"; ↑ On Fri 18 Jul 2025 at 01:21:08 (+0200), lbrt...@tutamail.com wrote: > OK, the Math is right, but the assumptions made by date aren't sm

Re: would like to do install from local mirror

2025-07-17 Thread David Wright
On Thu 17 Jul 2025 at 15:26:15 (-0400), Šarūnas Burdulis wrote: > On 2025-07-17 2:46 PM, Roy J. Tellason, Sr. wrote: > > > My internet service is by way of a dish out in the yard, and I have > > no idea where the base station is for the uplink to that particular > > satellites. How best to deal w

Re: Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread Dan Purgert
On Jul 18, 2025, lbrt...@tutamail.com wrote: > OK, it makes some more sense now. The range of digits in the octal > system is from 0 to 7, so it would complain with "08" and "09" (but > not with "10" which would then be "8" in octal), but why would command > line utilities assume you are encoding n

Re: Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread Greg Wooledge
On Fri, Jul 18, 2025 at 00:31:17 +0100, Alain D D Williams wrote: > On Fri, Jul 18, 2025 at 01:21:08AM +0200, lbrt...@tutamail.com wrote: > > OK, the Math is right, but the assumptions made by date aren't smart. I > > "overtested" your one liner with the kinds of input you would grab using jq > >

Re: Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread Alain D D Williams
On Fri, Jul 18, 2025 at 01:21:08AM +0200, lbrt...@tutamail.com wrote: > OK, the Math is right, but the assumptions made by date aren't smart. I > "overtested" your one liner with the kinds of input you would grab using jq > from youtube .info.json files > and to my amazement, when you only have

Re: Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread lbrtchx
OK, the Math is right, but the assumptions made by date aren't smart. I "overtested" your one liner with the kinds of input you would grab using jq from youtube .info.json files and to my amazement, when you only have two semicolon separated values, the bash date utility assumes the first chunk

Re: problem installing trixie

2025-07-17 Thread David Christensen
On 7/16/25 16:35, Flo wrote: Hi, I have tried to install trixie, however, I ran into two problems at the very beginning: .) When I want to boot the computer, the system is not found automatically. I have to go into BIOS for selecting the disk to have it booted. At the installation process I

Re: Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread Greg Wooledge
On Thu, Jul 17, 2025 at 23:39:02 +0200, lbrt...@tutamail.com wrote: > Video durations are formatted in youtube's .info.json files as "HH:MM:SS"; OK. > _HHMMSS="19:09" > _HHMMSS="19:08" > IFS=$(echo -en "\n\b"); _SEKNDS_AR=($(echo "${_HHMMSS}" | tr ':' '\n')); > _SEKNDS_ARL=${#_SEKNDS_AR[@]} You

Re: Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread Alain D D Williams
On Fri, Jul 18, 2025 at 12:27:04AM +0200, lbrt...@tutamail.com wrote: > _HHMMSS="19:09" means 19*60 + 9 = 1149 seconds > _HHMMSS="19:08" means 19*60 + 8 = 1148 seconds So: 19:09 is 19 minutes and 9 seconds ? It is not HHMMSS for that you should have _HHMMSS="00:19:09" I found a bug in my solutio

Re: problem installing trixie - no EFI

2025-07-17 Thread Flo
On 7/17/25 20:03, Titus Newswanger wrote: I just now inserted a Debian 12 installer usb and rebooted, making sure to catch the bios boot device selection screen. It presented me with 9 boot options: # 6 was "General UDisk 5.00" # 9 was "UEFI: General UDisk 5.00" My other 7 boot options are

Re: Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread lbrtchx
_HHMMSS="19:09" means 19*60 + 9 = 1149 seconds _HHMMSS="19:08" means 19*60 + 8 = 1148 seconds so, it seems date is also somehow parsing that value as octal even though it is being formatted in a date friendly way. is there a way to exactly specify the encoding of the input for date?

Re: Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread lbrtchx
OK, it makes some more sense now. The range of digits in the octal system is from 0 to 7, so it would complain with "08" and "09" (but not with "10" which would then be "8" in octal), but why would command line utilities assume you are encoding numeric values as octal? Now I notice many people h

Re: Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread Alain D D Williams
On Thu, Jul 17, 2025 at 11:39:02PM +0200, lbrt...@tutamail.com wrote: > Video durations are formatted in youtube's .info.json files as "HH:MM:SS"; > so, I went monkey and did the conversion myself, but I got two errors which I > can't make sense of whatsoever with only two values: _HHMMSS="19:09

Re: Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread Dan Purgert
On Jul 17, 2025, lbrt...@tutamail.com wrote: > Video durations are formatted in youtube's .info.json files as "HH:MM:SS"; > so, I went monkey and did the conversion myself, but I got two errors which I > can't make sense of whatsoever with only two values: > > _HHMMSS="19:09" > _HHMMSS="19:08" >

Is there a POSIX compliant way of turning a "HH:MM:SS" formatted string to seconds? ...

2025-07-17 Thread lbrtchx
Video durations are formatted in youtube's .info.json files as "HH:MM:SS"; so, I went monkey and did the conversion myself, but I got two errors which I can't make sense of whatsoever with only two values: _HHMMSS="19:09" _HHMMSS="19:08" IFS=$(echo -en "\n\b"); _SEKNDS_AR=($(echo "${_HHMMSS}" |

Re: Debian default mailer choice

2025-07-17 Thread Stefan Monnier
> Aye, it’s way too big a topic for the mailing list. If you’re > interested in the whole debate (as far back as 2003) you can find > highlights here: > > https://wiki.debian.org/Debate/DefaultMTA Thanks, that very much answers my question. I guess if `ssmtp` had been extended to allow local deli

Re: problem installing trixie - no EFI

2025-07-17 Thread Flo
PS: but booting is only possible over the BIOS menu. What do you mean by "over the BIOS menu"? When I start the computer, I press F10, the boot order. There I can select what I want to boot. If I select the drive there, it's booting. It has the highest priority anyway but it needs this

Re: Debian default mailer choice

2025-07-17 Thread John Dow
> On 17 Jul 2025, at 20:09, Marco Moock wrote: > > On 17.07.2025 19:00 Uhr Stefan Monnier wrote: > >> I don't have anything against Exim4 (I just happened to choose Postfix >> many years ago and never had a reason to reconsider that choice). >> I know basically nothing about Exim4 other than th

Re: Debian default mailer choice

2025-07-17 Thread Marco Moock
On 17.07.2025 19:00 Uhr Stefan Monnier wrote: > I don't have anything against Exim4 (I just happened to choose Postfix > many years ago and never had a reason to reconsider that choice). > I know basically nothing about Exim4 other than the fact that > installing Postfix instead saved a few kB (no

Re: problem installing trixie - no EFI

2025-07-17 Thread Andy Smith
Hi, On Thu, Jul 17, 2025 at 12:18:50PM -0500, David Wright wrote: > On Thu 17 Jul 2025 at 12:42:29 (+0200), Flo wrote: > > but booting is only possible over the BIOS menu. > > Like John Doe, no idea what this means. I took it to mean that OP sees a firmware message like "F11 to see boot options"

Re: Debian default mailer choice

2025-07-17 Thread Andy Smith
Hi, On Thu, Jul 17, 2025 at 12:54:58PM -0400, Stefan Monnier wrote: > Why does Debian default to installing Exim4? Just historical reasons I think: No great mystery, just that a choice had to be made and that was the choice that was made. Personally I haven't been too thrilled with Exim's securi

Re: would like to do install from local mirror

2025-07-17 Thread Šarūnas Burdulis
On 2025-07-17 2:46 PM, Roy J. Tellason, Sr. wrote: My internet service is by way of a dish out in the yard, and I have no idea where the base station is for the uplink to that particular satellites. How best to deal with that, I wonder? Not sure about the base station, but traceroute to a kn

Re: would like to do install from local mirror

2025-07-17 Thread Roy J. Tellason, Sr.
On Wednesday 16 July 2025 05:45:28 pm Andy Smith wrote: > The "easy route" through that set of dialogs has you say where you are > located and then it offers a few different Debian mirrors that make > sense for that location, however it does also let you type in your own. My internet service is b

Re: problem installing trixie - no EFI

2025-07-17 Thread Thomas Schmitt
Hi, Titus Newswanger wrote: > I just now inserted a Debian 12 installer usb and rebooted, making sure to > catch the bios boot device selection screen. It presented me with 9 boot > options: > > # 6 was "General UDisk 5.00" > > # 9 was "UEFI: General UDisk 5.00" > > My other 7 boot options are

Re: problem installing trixie - no EFI

2025-07-17 Thread Titus Newswanger
On 7/17/25 05:42, Flo wrote: I tried to reinstall: This time I said guided partitioning the whole disk but it only creates a 1M partiion for biosgrub and a big one (3TB) for everything else (+ swap). That is how it works for me when I boot the installer usb in legacy bios mode regardless whe

Re: problem installing trixie - no EFI

2025-07-17 Thread David Wright
On Thu 17 Jul 2025 at 12:42:29 (+0200), Flo wrote: > I tried to reinstall: This time I said guided partitioning the whole > disk but it only creates a 1M partiion for biosgrub and a big one > (3TB) for everything else (+ swap). I have EFI enabled in BIOS and > it's not the first time I install Debi

Debian default mailer choice

2025-07-17 Thread Stefan Monnier
Why does Debian default to installing Exim4? I just crossgraded two machines (i386->amd64 and armhf->arm64) in different ways (once with `crosssgrader` and once with a fresh install followed by manual reconciliation) and in both cases I ended up with Exim4 installed while I had started with Postfi

Re: Old distribution password

2025-07-17 Thread Dan Ritter
Ivan wrote: > Thank you for quick replay, Dan. > > One detail what is grub prompt? You seem to have missed copying the list on this. Common mistake. Grub is one of the possible boot methods that operates between the computer starting itself and the Linux kernel loading. If Raspbian doesn't us

Re: Old distribution password

2025-07-17 Thread Dan Ritter
Ivan wrote: > Hallo, > > I wonder if you could help me out. > > Some time ago I got my Raspberry pi and installed Debian distribution - I > have a backup copies with name 2012-10-28-wheezy-raspbian.img ... so you > see it is very old one. > > I was not using my Raspberrypi for some time and

Re: Old distribution password

2025-07-17 Thread debian
On 7/17/25 11:36 AM, Ivan wrote: Hallo, I wonder if you could help me out. Some time ago I got my Raspberry pi  and installed Debian distribution - I have a backup copies with name  2012-10-28-wheezy-raspbian.img   ... so you see it is very old one. I was not using my Raspberrypi for some t

Re: Old distribution password

2025-07-17 Thread Joe
On Thu, 17 Jul 2025 17:36:16 +0200 Ivan wrote: > Hallo, > > I wonder if you could help me out. > > Some time ago I got my Raspberry pi and installed Debian > distribution - I have a backup copies with name > 2012-10-28-wheezy-raspbian.img ... so you see it is very old one. > > I was not usi

Old distribution password

2025-07-17 Thread Ivan
Hallo, I wonder if you could help me out. Some time ago I got my Raspberry pi and installed Debian distribution - I have a backup copies with name 2012-10-28-wheezy-raspbian.img ... so you see it is very old one. I was not using my Raspberrypi for some time and now I am trying to start it bu

Re: problem installing trixie - no EFI

2025-07-17 Thread john doe
On 7/17/25 12:42, Flo wrote: On 7/17/25 03:22, Charles Curley wrote: For me it looks like that the installer thinks that I am on a non EFI system? The installer could be rongly detecting that but I'd say it's unlikely. debian-boot mailing list is specifically for d-i. PS: but booting

Re: SDD partitioning and allocations

2025-07-17 Thread Greg
On 2025-07-16, Andy Smith wrote: > Hi, > > On Wed, Jul 16, 2025 at 04:31:08PM -, Greg wrote: >> On 2025-07-12, Andy Smith wrote: >> > But for brand new devices I don't care what was on it before. >> > >> > You can construct a hypothetical situation where: >> > >> > 1. I buy a new storage devi

Re: problem installing trixie - no EFI

2025-07-17 Thread Flo
On 7/17/25 13:29, Andy Smith wrote: Hi, On Thu, Jul 17, 2025 at 12:42:29PM +0200, Flo wrote: For me it looks like that the installer thinks that I am on a non EFI system? Any ideas? Yes, it isn't actually booting in EFI mode. I don't think this will be an issue with Debian because by the tim

Re: problem installing trixie - no EFI

2025-07-17 Thread Andy Smith
Hi, On Thu, Jul 17, 2025 at 12:42:29PM +0200, Flo wrote: > For me it looks like that the installer thinks that I am on a non EFI > system? > > Any ideas? Yes, it isn't actually booting in EFI mode. I don't think this will be an issue with Debian because by the time the Debian installer runs the

Re: problem installing trixie - no EFI

2025-07-17 Thread Flo
On 7/17/25 03:22, Charles Curley wrote: Thank you for your answer. I tried to reinstall: This time I said guided partitioning the whole disk but it only creates a 1M partiion for biosgrub and a big one (3TB) for everything else (+ swap). I have EFI enabled in BIOS and it's not the first time