#garfield Logs

Jan 14 2025

12:45 AM aandrew: you should not have to encode any of that in git push
12:58 AM aandrew: that's all already done with your git clone, you can see it with git remote -v
12:58 AM aandrew: git tag ...
12:58 AM aandrew: git push -u origin v0.0
04:10 AM Tom_L: dunno
06:19 AM rue_mohr: the git push it a problem because I have to put the URL on to make it work because otherwise it will ask for a username and password but their system wont accept passwords because it has to use keys
06:20 AM Tom_L: set up a key
06:20 AM rue_mohr: have one
06:20 AM rue_mohr: but
06:20 AM rue_mohr: I have to do a push with a command line that has a url on it, like git push ssh://git@github.com/ruenahcmohr/BedAnchorPackage
06:21 AM rue_mohr: or it wont use the key to do the push and wont work
06:22 AM Tom_L: i set mine all up in a script
06:26 AM Tom_L: but i use it different than you most likely
06:27 AM rue_mohr: I probably use it wrong :]
06:44 AM rue_mohr: https://github.com/obfuscated-D/ch32_fan_thermostat
08:35 AM polprog: you have to make sure your git remotes are set up using the ssh:// url and not http://
08:35 AM polprog: the decision to disable passwords was stupid
08:36 AM polprog: now you have to separate urls, one works for not logged in users (http) and one for logged in (ssh)
08:36 AM polprog: and there is no clear indication for the users
08:36 AM polprog: https://github.com/polprog/miku
08:37 AM polprog: i put the microscope utility on github
09:03 AM polprog: https://www.youtube.com/watch?v=zHfFGzTGc7I
09:03 AM polprog: guy makes an 8051 clock, the same way like we do with external eeprom
10:20 AM aandrew: rue_mohr: sounds like a ~/.ssh/config issue to me
10:21 AM aandrew: e.g.
10:21 AM aandrew: Host github.com User git IdentityFile ~andrew/.ssh/github_rsa ForwardAgent yes UseKeychain yes AddKeysToAgent yes
10:21 AM aandrew: wow
10:21 AM aandrew: that didn't work at all
10:22 AM aandrew: wtf why is my multiline paste no longer working
10:40 AM Tom_L: you want to set up your localhost user email and id and it goes easier
10:41 AM Tom_L: then enter the keys in your .ssh directory
10:53 AM Tom_dev: git config --global user.name "your name"
10:53 AM Tom_dev: git config --global user. email "your email"
10:53 AM Tom_L: whatever you use to login git
10:53 AM Tom_L: once the keys are set up then yes you use the ssh
10:53 AM Tom_dev: to push a change is a 3 step process
10:53 AM Tom_dev: git add
10:53 AM Tom_dev: git commit -m "$message"
06:52 PM rue_mohr: tom, that is my issue, "git push --repo git@github.com:" I cant do that and add a tag to a project
06:53 PM Tom_L: what is a tag?
06:54 PM Tom_L: you can add a commit message
06:54 PM rue_mohr: I want to make a version 2 of the board
06:54 PM rue_mohr: but I want all these files in the repo to be able to be checked out as version 1
06:54 PM rue_mohr: as they are right now
06:54 PM Tom_L: you need to ask jt in flex-dev when he's around
06:54 PM Tom_L: he does the version stuff
06:55 PM rue_mohr: I think aandrew and polprog had it
06:55 PM Tom_L: i don't know about that part of it
06:55 PM Tom_L: except that you can download different deb versions
06:56 PM Tom_L: with linuxcnc you can 'check out' different versions to build
06:56 PM Tom_L: after cloning
06:56 PM Tom_L: my knowledge of git barely scratches the surface
06:59 PM rue_mohr: :]
06:59 PM rue_mohr: aandrew, ?
07:00 PM Tom_L: i know when you get it right it's super
07:00 PM Tom_L: i have my script on a desk icon :)
07:00 PM Tom_L: checks for changes, downloads them, builds a deb and puts it back on the repo
07:00 PM rue_mohr: :]
07:00 PM rue_mohr: I just need to make a tag
07:00 PM Tom_L: with a date stamp
07:01 PM Tom_L: https://git-scm.com/book/en/v2/Git-Basics-Tagging
07:01 PM rue_mohr: I cant do the tagging becasue I cant push with the option becasue soemthing isn't set up right
07:02 PM rue_mohr: but I need a bit more detail from aandrew on how that config works
07:02 PM Tom_L: do you have the global vars set on your pc?
07:02 PM Tom_L: for email and user id
07:02 PM rue_mohr: <aandrew> Host github.com User git IdentityFile ~andrew/.ssh/github_rsa ForwardAgent yes UseKeychain yes AddKeysToAgent yes
07:02 PM rue_mohr: oh he said .ssh/config
07:03 PM rue_mohr: not .gitconfig
07:03 PM Tom_L: git config --global user.name "your name"
07:03 PM Tom_L: git config --global user. email "your email"
07:03 PM Tom_L: then set up a ssh key
07:03 PM rue_mohr: I have an ssh key
07:03 PM Tom_L: join git and it will ask if you want to add it to the config
07:03 PM rue_mohr: I cannot have it so that I have to specify a url on a push
07:03 PM rue_mohr: or I cant push a tag
07:04 PM Tom_L: i push with ssh to my git repo
07:04 PM rue_mohr: but you specify the url
07:04 PM Tom_L: @github.com:tlight/whatever
07:04 PM Tom_L: or something like that
07:04 PM rue_mohr: I cant mix that and push a tag
07:05 PM Tom_L: You can also force-push a tag if you have updated or replaced it with a new commit or a new message using the -f or --force option with the git push command
07:06 PM Tom_L: https://kodekloud.com/blog/how-to-push-git-tags-to-remote/
07:06 PM rue_mohr: git push ssh://git@github.com/ruenahcmohr/BedAnchorPackage <<, I cannot push a tag with a url like that
07:06 PM Tom_L: you're already checked out on that git by being in it's local folder
07:06 PM rue_mohr: they will use a command that I cannot mix with a url like that
07:07 PM rue_mohr: if I do not use the url, git asks me for a username and password
07:07 PM rue_mohr: which wont work, becasue passwords are disabled
07:07 PM Tom_L: is your ssh key set up with git?
07:08 PM rue_mohr: yes, thats how ^^ that works
07:08 PM rue_mohr: but I cant make it use ssh without specifying a url like that
07:08 PM Tom_L: right, it has to know where to put the tag
07:08 PM Tom_L: without a repo it won't know
07:08 PM rue_mohr: its supposed to know
07:09 PM rue_mohr: I'm convinced aandrew knows the solution
07:09 PM Tom_L: git clone to a folder then try the git tag command
07:09 PM Tom_L: from that folder
07:09 PM Tom_L: probably so
07:09 PM rue_mohr: I can make the tag
07:10 PM rue_mohr: I cannot push it
07:13 PM Tom_L: ^^ did you see the 3 steps to push required for a regular push?
07:14 PM Tom_L: git add commit push
07:14 PM Tom_L: you may be missing a step like that on a tag
07:17 PM Tom_L: did you read the man page
07:18 PM Tom_L: git tag -f v1.1 from your local repo should create a v1.1 tag
07:18 PM Tom_L: git tag -f -a v1.1 -m "New message"
07:19 PM rue_mohr: thats all fine
07:19 PM rue_mohr: to apply that tag to the server, you have to use a special push command
07:19 PM rue_mohr: that push command does not work if you specify a url
07:20 PM rue_mohr: any push command does not work if you dont specify a url
07:20 PM rue_mohr: the url is what makes it use ssh
07:20 PM Tom_L: if your local repo was cloned it should know it's origin
07:20 PM Tom_L: push it from that folder
07:20 PM Tom_L: otherwise it won't work
07:20 PM Tom_L: or changes to that folder
07:20 PM rue_mohr: the push command will not work if I dont specify the url
07:20 PM rue_mohr: I have to specify the url for it to use ssh
07:21 PM Tom_L: correct
07:22 PM rue_mohr: ah
07:22 PM rue_mohr: [remote "origin"]
07:22 PM rue_mohr: url = https://github.com/ruenahcmohr/8051recyclerPCB
07:22 PM rue_mohr: I think if I change https to ssh it might work
07:22 PM rue_mohr: which is what polprog illuded to
07:22 PM Tom_L: i don't have to do that
07:23 PM Tom_L: because i have keys set up and it knows the origin of the repo already
07:23 PM rue_mohr: you dont make tags
07:23 PM rue_mohr: if you tried to make a tag, you coulnd't apply it to the repo
07:23 PM rue_mohr: root/.ssh/config: line 5: Bad configuration option: usekeychain
07:24 PM Tom_L: what are tags for anyway?
07:24 PM Tom_L: version numbeing?
07:25 PM rue_mohr: no, so that I can go back and get a specific version of that project
07:26 PM Tom_L: how do you fetch that version then? git checkout?
07:26 PM Tom_L: i've seen guys do that but dunno how
07:26 PM Tom_L: or how they make the tags
07:27 PM rue_mohr: you can speicify it on the clone
07:27 PM Tom_L: then they can roll back and add in what got screwed up when
07:27 PM rue_mohr: by default it gets "head"
07:27 PM Tom_L: i saw that
07:27 PM rue_mohr: but head isn't a "tag"
07:27 PM rue_mohr: because its dynamic
07:28 PM Tom_L: head is where it starts though
07:28 PM rue_mohr: head is the last submitted files
07:28 PM Tom_L: https://kodekloud.com/blog/how-to-push-git-tags-to-remote/
07:28 PM rue_mohr: yea
07:28 PM Tom_L: look at the img about 2/3 down
07:28 PM rue_mohr: see how they dont have a url on that push command?
07:28 PM Tom_L: head is at the top with succeeding revs
07:29 PM rue_mohr: see how no URL?
07:29 PM Tom_L: yeah
07:29 PM rue_mohr: yea
07:29 PM Tom_L: that puts it in the local repo though doesn't it?
07:29 PM Tom_L: then you have to push the repo changes
07:29 PM rue_mohr: chatgpt says that url overrides the default tag that would be applied
07:29 PM rue_mohr: which is why you cant push a tag and specify a url
07:30 PM rue_mohr: if you do that, your asking for an appleorange and so it fails
07:30 PM rue_mohr: I asked chatgpt to make me a modified url with the corrections applied, but its answer didn't work (go figure)
07:31 PM Tom_L: kinda late to but ask in linuxcnc
07:31 PM rue_mohr: I'll try chatgpt with another angle
07:31 PM rue_mohr: its the only other thing awake right now
07:33 PM Tom_L: i could try to add a tag but don't wanna fck up my repo
07:33 PM rue_mohr: no
07:33 PM rue_mohr: our config is broken
07:36 PM rue_mohr: Yes, the issue is that your Git setup is likely using HTTPS with username/password authentication, which GitHub no longer supports (as of August 2021). Instead, GitHub requires you to use a Personal Access Token (PAT) for HTTPS authentication or switch to SSH authentication.
07:36 PM rue_mohr: Here’s how to resolve this:
07:37 PM rue_mohr: zippo:/tmp/git/8051recyclerPCB/.git# git remote -v
07:37 PM rue_mohr: origin https://github.com/ruenahcmohr/8051recyclerPCB (fetch)
07:37 PM rue_mohr: origin https://github.com/ruenahcmohr/8051recyclerPCB (push)
07:37 PM rue_mohr: "If the URL starts with https://, you are using HTTPS. This is fine, but you must use a PAT instead of a password."
07:37 PM rue_mohr: "2. Generate a Personal Access Token (PAT)
07:37 PM rue_mohr: If you want to continue using HTTPS:
07:37 PM rue_mohr: Go to GitHub and navigate to Settings > Developer settings > Personal access tokens > Tokens (classic).
07:37 PM rue_mohr: Click Generate new token and select the appropriate scopes:
07:37 PM rue_mohr: repo for full repository access.
07:37 PM rue_mohr: Others as needed, like write:packages or delete_repo.
07:37 PM rue_mohr: Copy the token (you won’t be able to see it again)."
07:38 PM rue_mohr: (we have done that and have one)
07:38 PM rue_mohr: git remote set-url origin https://<your-username>@github.com/<your-username>/<your-repository>
07:38 PM rue_mohr: which is silly cause thats obviosly what it already is
07:39 PM Tom_L: gueses git tag; git commit; git push repro branch
07:39 PM rue_mohr: "To avoid being prompted every time:
07:39 PM rue_mohr: Cache the credentials using the Git credential manager:
07:39 PM rue_mohr: bash
07:39 PM rue_mohr: Copy code
07:39 PM rue_mohr: git config --global credential.helper cache"
07:40 PM Tom_L: does git remote set-url work with ssh?
07:40 PM Tom_L: git@github.com:/yourrepo
07:41 PM rue_mohr: I'm just working thru the rest of what chatgpt said
07:42 PM rue_mohr: ARG
07:42 PM rue_mohr: its answer is too long and their page is broken in my browser and I cant freaking scroll
07:45 PM Tom_L: git push origin v1.5 git push origin --tags
07:46 PM Tom_L: after you create them
07:48 PM Tom_L: tags are intended for local use
07:48 PM Tom_L: try the git push origin line ^^
07:49 PM Tom_L: ok rue: git -a tagname -m 'message'
07:49 PM Tom_L: THEN: git push origin tag tagname
07:50 PM Tom_L: guaranteed to work ... or not
07:51 PM rue_mohr: git push origin v1.5
07:51 PM rue_mohr: ^^^^^^^^^ WE CANNOT USE THAT COMMAND
07:51 PM Tom_L: create the tag
07:51 PM rue_mohr: because our method requires us to put a url on the push command
07:51 PM Tom_L: Git -a tagname -m message
07:51 PM rue_mohr: no
07:52 PM rue_mohr: we cannot push it
07:52 PM Tom_L: no url required there
07:52 PM rue_mohr: yes there is
07:52 PM rue_mohr: if you run that command it will ask you for a username
07:52 PM rue_mohr: ok
07:52 PM Tom_L: did you set your global user email?????
07:53 PM Tom_L: with the ssh key that should be all you need
07:53 PM Tom_L: did you set your global user && email?????
07:54 PM Tom_L: run those from the source folder
07:57 PM Tom_L: git push origin tag v1.5
07:58 PM rue_mohr: "4 Switch to SSH Authentication (Optional)"
08:00 PM Tom_L: i don't have one i can test on
08:01 PM rue_mohr: aha!
08:01 PM rue_mohr: git remote set-url origin git@github.com:<your-username>/<your-repository>.git
08:03 PM rue_mohr: zippo:/tmp/git/8051recyclerPCB/.git# git push origin v1.0
08:03 PM rue_mohr: Enumerating objects: 1, done.
08:03 PM rue_mohr: Counting objects: 100% (1/1), done.
08:03 PM rue_mohr: Writing objects: 100% (1/1), 154 bytes | 154.00 KiB/s, done.
08:03 PM rue_mohr: Total 1 (delta 0), reused 0 (delta 0), pack-reused 0
08:03 PM rue_mohr: To github.com:ruenahcmohr/8051recyclerPCB.git
08:03 PM rue_mohr: * [new tag] v1.0 -> v1.0
08:03 PM aandrew: rue_mohr: I'm here, but that's a lot of scrollback. TL;DR?
08:03 PM rue_mohr: aandrew, got it
08:04 PM Tom_L: what did you do?
08:04 PM rue_mohr: I have to edit the .git/config url from https:.... to git@github.com:<your-username>/<your-repository>.git
08:04 PM rue_mohr: so its only a per-project fix
08:04 PM Tom_L: yes
08:04 PM Tom_L: i forgot but i think i may have done that
08:04 PM aandrew: rue_mohr: awesome. I have a bunch of different ones depending on which company I'm pushing code to github for, and then a catchall at the bottom for my own stuff
08:04 PM Tom_L: within git gui
08:05 PM rue_mohr: I dont use a gui
08:05 PM aandrew: I never edit .git/* myself, for changing the remote I would just use git remote add neworigin git@... and then git remote rm origin, and finally git remote mv neworigin origin
08:06 PM Tom_L: i do on some things
08:06 PM rue_mohr: "git remote set-url origin git@github.com:<your-username>/<your-repository>.git" is the command chatgpt suggested
08:06 PM Tom_L: but not all
08:07 PM rue_mohr: ok, the tag seems to have worked
08:07 PM rue_mohr: now I can make my new rev
08:07 PM Tom_L: phew
08:07 PM rue_mohr: and sell my soul to pcbway for a few free baords :]
08:07 PM rue_mohr: (sure)
08:08 PM aandrew: so on sunday I made potato soup for the first time. I didn't have an immersion blender so I thought I'll just put some of the soup in the container style blender
08:08 PM aandrew: that worked, but it pressurized the cup and when I finally got the lid off it sprayed boiling potato soup over me
08:09 PM aandrew: I essentially napalmed myself with boiling potato soup. that shit is sticky and does NOT wash off fast
08:09 PM Tom_L: like slag in the boot?
08:09 PM aandrew: so I have a decent burn on my right hand, but I've burned myself before so no biggie
08:10 PM aandrew: this morning I had a nickel-sized blister, no big deal. 3h later it was like three quarters stacked on top of each other. never seen that happen so fast before and so long after the initial burn
08:10 PM aandrew: so I went to the ER, they actually have a burn center there (not that my burn needed anything like that)
08:11 PM aandrew: 3h and $200 later, the burn team popped the blisters I could have popped myself but wasn't sure was a good idea since they were growing so fast
08:11 PM Tom_L: just keep em clean
08:12 PM aandrew: they also xrayed my hand and took bloodwork which was like wtf but the doctor who ordered them said that they've seen what look like ordinary burns with considerable tissue damage underneath, so much that they've actually sent stuff like what i have to the OR from the ER
08:12 PM aandrew: yeah burns aren't really all that big of a deal but the way this thing blistered and fast had me a little worried
08:13 PM aandrew: I did learn something though (other than not to try to use a container style blender for boiling potato soup)
08:13 PM aandrew: xeroform petrolatum dressing is fucking amazing
08:13 PM aandrew: it's basically medicated gauze pads (I got 1" x 8" strips) that don't stick and keep the wound very well hydrated
08:14 PM Tom_L: so it doesn't stick when you peel it off
08:14 PM aandrew: they're pretty cheap too. WAY better than my usual which is polysporin under a gauze pad or bandaid
08:14 PM Tom_L: we've come a ways from living in caves
08:15 PM aandrew: but still not that far when it comes to burning yourself cooking. :-)
08:16 PM aandrew: I was a little surprised by the $200 copay but I probably selected that in the last open enrollment, and I certainly can't complain about the service/treatment. wait times weren't bad, it would have probably been double in ontario because it's not a life or death thing
08:16 PM aandrew: would really depend on the day and what time I got there. I suspect a tuesday midmorning would have been fairly fast but still 4h or more
08:50 PM Tom_L: we have urgent care, immediate care and er
09:04 PM aandrew: yeah I went to the walk in clinic but they said go to er
09:04 PM aandrew: we have urgent care up in canada too, it's what most people use who don't have a family doc
10:14 PM rue_mohr: ok
10:14 PM rue_mohr: I think I finished the board mods
10:14 PM rue_mohr: sold it out to pcbway a bit
10:30 PM rue_mohr: http://ruemohr.org/~ircjunk/tempimage/8051BOT.png
10:30 PM rue_mohr: http://ruemohr.org/~ircjunk/tempimage/8051TOP.png
10:30 PM rue_mohr: did my script maul it?