« first day (4330 days earlier)      last day (51 days later) » 

2:08 PM
$SHELL doesn’t tell you which shell is running, it tells you what the top-most shell in your current stack of shells is (probably your login shell, as defined in your user information e.g. in /etc/passwd, or in WSL, the default interactive shell). — Stephen Kitt 9 mins ago
@StephenKitt "probably your login shell"?
I thought $SHELL is by definition the login shell set in etc/passwd
when can it not be?
 
@terdon for example, if you create a profile in GNOME Terminal that starts a shell other than your default shell, that’s what will show up in $SHELL
Basically if SHELL isn’t already set in the environment, a shell will set it to point to itself. So in a chain of processes, the first shell wins.
 
Ah
       SHELL  This variable expands to the full pathname to the shell.  If it
              is  not  set when the shell starts, bash assigns to it the full
              pathname of the current user's login shell.
gotcha
thanks
terdon@oregano ~ $ SHELL=bob bash
terdon@oregano ~ $ echo $SHELL
bob
heh
 
 
1 hour later…
3:43 PM
@terdon yup, or
$ echo $SHELL
/bin/zsh
$ SHELL= bash
$ echo $SHELL
/bin/bash
 
that sure, but I was surprised that SHELL bash didn't have SHELL overwritten by whatever was in /etc/passwd
 
In fact, that’s bash-specific:
$ echo $SHELL
/bin/zsh
$ SHELL= bash
$ echo $SHELL
/bin/bash
$ SHELL= zsh
$ echo $SHELL

$
 
3
Q: Planned maintenance scheduled for Tuesday, August 23, 2022 at 00:00-03:00 AM UTC (Monday, August 22, 8:00-11:00 PM US/EDT)

Peter O'Connortl;dr Planned upgrades that will impact Stack Overflow & Stack Exchange Network sites including Chat. All sites will be read-only for up to 3 hours beginning shortly after Tuesday, August 23, 2022 at 00:00-03:00 AM UTC (Monday, August 22, 8:00-11:00 PM US/Eastern). You can always view the current...

 
4:01 PM
We are old :(
Apparently I've been on this site for 5 years now. I remember when it used to take 5 years for 5 years time to pass, now it only takes a few months.
 
@jesse_b I read an explanation somewhere for this: as we get older, every year we add to our lives adds a smaller fraction of our life, which is why years seem to go faster as we get older.
 
@StephenKitt That makes sense, but I'm still not happy about it and I wont stand for it
 
Perhaps people who can’t create long-term memories don’t feel years going by faster.
 
I've probably got enough head injuries to start testing that soon
 
@jesse_b What prompted that?
 
4:12 PM
@FaheemMitha I saw my user profile said I've been a member for 5 years but it only feels like 2 or 3
 
@jesse_b Oh, I see.
You've been here a while, yes.
 
but time does go considerably faster the older you get. 5 years ago still feels like when I graduated high school
 
@jesse_b Agreed. I noticed that too. I remember the years that I was in school seemed to take an eternity to go by. Whereas in recent years, it feels like it's a new year every 5 minutes or so. Of course, I was miserable in my school, which makes one more conscious of passing time.
Also have ones time regimented makes the days go by slower.
 
 
2 hours later…
6:44 PM
15
Q: Please welcome Valued Associate #1301 - Emerson

Cesar MI've been so incredibly lucky and happy to have Bella and Salmon, the previous newest hires for Trust & Safety, join me last year. It's only been 9 months, and I'm proud of the work they've done, what they've accomplished, and how much I've seen them helping folks around the network - be it users...

 
 
1 hour later…
8:08 PM
In not particularly interesting news, someone forked bazaar. The new fork is called breezy.
 
8:23 PM
Turns out this isn't news. That project was announced in 2017. But I didn't know. Oops.
 

« first day (4330 days earlier)      last day (51 days later) »