I have issues with Docker a lot. Example: Rename a file from “File.js” to “file.js” in a dependency and it’s like something caches the old name so even when I redownload or install that dep it tries the old name and fails to find the file. Might just be me and my tomfoolery
if you’re renaming from File.js to file.ts, which is also changing suffixes instead of just capitalization, then that couldn’t be explained by case sensitivity, unless it was a typo and you meant File.js to file.js
This is likely because docker runs Linux in a VM on MacOS right?
We’ve had similar problems with stuff that works on the developers Mac but not the server which is case sensitive. It can be quite insidious if it does not cause an immediate “file not found”-error but say falls back to a default config because the provided one has the wrong casing.
Yeah exactly. And I mount the volume to the local directory so they try to sync both ways. It’s a real mess. The solution is currently to: not fuck up the file name casing in the first place. lol
The same issue happens with git (on windows). The file system says they’re the same file and they haven’t changed, so you have to manually tell the program the file changed. With git, you’d run git rm --cached && git add . On docker, you could just do a non-cached build via docker build . --no-cache
Which part? I’d love to switch if there’s no reformatting, and if your exception is with the first part, I’d ask for some evidence. All of my mac machines arrived brand new, case insensitive. Granted that’s only 3 so far, but it’s a smattering from 2019 onward. All the literature online points to this being the default too
I don’t know about dangerous, but case-insensitive Unicode comparison is annoying, expensive and probably prone to footguns compared to a simple byte-for-byte equality check.
(And yes, all modern filesystems support Unicode. Linux stores them as arbitrary bytes, Apple’s HFS uses… some special bullshit, and Windows uses UTF-16.)
If you did it would likely break something as it’s one of only two characters not allowed in a file name (the other being null).
You can do a lot of funky stuff within the rules though, think about control characters, non-printing characters, newlines, homographs, emojis etc. and go forth and make your file system chaos!
If you need to run a set of commands or a script with fish you can just toss them in a file and run bash file.sh. I have been daily driving fish for years and I don’t even have think about it.
I personally like xonsh despite the minor amount of wonkiness it has, it’s so nice to have python available directly in your shell, it takes the “i don’t care about the quality of my code i just want this shit to work with minimal effort”-ness of bash and turns it up to 13.
No. Zsh. It’s pretty easy to have a nice auto compl. No need for omz. After knowing poweline10k I just use it and syntax highlight plugin, manually installed. There is no need to add entire omz.
On a Mac, press and hold a character key and a list of accent characters will appear. There are also dead key combinations using the option key to enter special characters directly.
If you’re like me and wondered what a dead key is…
A dead key is a special kind of modifier key on a mechanical typewriter, or computer keyboard, that is typically used to attach a specific diacritic to a base letter.[1] The dead key does not generate a (complete) character by itself, but modifies the character generated by the key struck immediately after.
On Windows, you can open the emoji picker with Win+. or Win+, (depending on locale iirc). Then just switch to the symbols tab by clicking the omega symbol and chose å
Alternatively, you can install PowerToys, which includes a quick accentuator tool.
I mostly just had the alt+whatever codes memorized when I was typing French or German, but I didn't always have a numpad when I was using laptops away from home. I just ended up using charmap and never realized newer windows had any replacement (although I'm on mac for work and also use linux for both work and some home stuff now as well so not spending as much time in Windows).
Because you would need to know the code for å in all kb layouts, on all OS’s, even in a bare terminal with no way to just open the emoji picker, with or without special keys and no clipboard. Of course, tab completion or globs may help you, but not in all cases.
Try to select blåhaj.txt in a dir with blåhaj.txt and blahaj.txt present. Easy, ls blhaj.txt | grep -i blahaj.txt. Now with blåhaj.txt and bløhaj.txt. Not as easy anymore, but doable with tail -n1 or head -n1. Now do it consistently in a script. So you again need to single out the right string, or single char, and >> it into the script so you have the special char. Then you have a component that does not like certain special chars, so you need to escape it. All because one decided to use special chars as a file name/identifier. Using [a-zA-Z0-9-_.:;,] would be so easy.
So, you create a file with the name containing å. Then you send it to another person. They want to handle it via the command line. Because it’s more efficient. So that person needs to know said information.
Most people never type a full file name on the command line, they normally just use file name completion.
And if they happen to have a lot of files that are only distinguished by some single character, what would be so difficult about typing that one character then?
I’d say no, because the difference to me lies in Trump being actively malicious, and ChatGPT essentially being random, as far as the lay public is concerned.
I worked at a tree farm in my teens and honestly if I could still do that making what I make now I would be all over that. Always outside, in great shape, got to run heavy machinery, it was great.
That’s crazy to me because I had the exact opposite experience. I went in hoping for a certain amount, and they offered me knowing full well what I was hoping for, 20,000 more. Plus all the other benefits like video games and dogs at work. In fact I don’t think I’ve ever had a bad experience with startups except that your job is essentially temporary cuz they will either close or sell
That or dumb money is just dumb, and if the cost of money is free, you can just guess at things that might work with thousands of monkeys hitting typewriters.
Hah I was about to say that only bad part of startups that I’ve had was that you weren’t sure if you’d have a job six months from now. I probably just got lucky and jumped on board during the “throw cash at everything phase”
I don’t need “grounds” for ad blocking, and neither do you. My property rights say that I’m entitled to modify the computation my system is doing as I see fit.
I swear I will just stick with paperback books for all entertainment if they continue to further infect my current forms of entertainment. Lets seem them try to insert an unskippable ad into a paperback book.
We already have ad books. They’re called magazines, just give it a couple more years and regular books will be filled with ads too. I’ve already encountered some regular books that have an insert talking about another book from the same creator. Sure it doesn’t seem bad now but soon it’ll be an insert about a friend of the creator, then about the same company that did this book, then in similar genres, then more inserts about products that might make your book reading experience better, etc etc.
I’ve already encountered some regular books that have an insert talking about another book from the same creator.
Oh, those? We call those reading snacks. You just rip them out and dip them in a blend of extra virgin olive oil and nicely reduced balsamic vinaigrette. Perfect pairing with a nice drama or thriller.
Jokes on you, I pirate my books. No idea if the book youtubers I watched were paid but their sensibilities are similar to mine and so far they haven’t lead me astray. I like supporting my book writers directly instead of giving money to corpos whenever possible.
Reminds me, the box a pet rock came in that my brother gave me this last Christmas has the frigging minions logo on it. It says ‘as seen on [minions eye logo]’.
I will stick to emulating 30 year old video game consoles and fan reimplementations like OpenMW and OpenRCT2. I am driven by pure spite. They will never get me!
Property rights are those rights, and we already have them. The issue is that the copyright cartel is trying to take them away from us. They are colonizing our devices with DRM + the DMCA anti-circumvention clause in an attempt to reduce us to techno-serfdom.
Ad-blocking, Free Software, Right to Repair (also a right we already have, not a new one we need), “you will own nothing and be happy” propaganda , etc. are all just different aspects of the same issue: the corporate war against property rights.
To be clear, property rights don’t come from laws; they are natural rights. “Property” as a concept stems from the fact that when Caveman Oog gets himself a neat tool-shaped rock and is holding it in his hand, nobody else can use it because he’s the one who has it, and the only way they could use it is for him to not have it anymore. He controls it and its use is exclusive to him. The rock is his property. The law doesn’t create that concept; it only codifies it so that the rock can remain Oog’s when he sets it down, instead of him having to guard it all day.
“Corporate” “property” “rights” are a whole different thing:
Contrary to the Dred Scott-level bullshit the SCOTUS excreted in Citizens United, corporations are not people and don’t even have an inherent right to , let alone any other rights. A person (i.e. a sole proprietor) has rights. People associating with each other (i.e. a full-liability general partnership) have rights. A group granted the privileges of limited liability and taxation as a separate entity via incorporation exists at the pleasure of the State, and the State has every right to impose conditions on that existence in exchange for granting the privilege.
Copyright is not “property.” A copyrighted work is an expression of an idea, and ideas are as near to opposite of property as it is possible to be. Not only does an idea stand in stark contrast to Oog’s rock in that it can be freely shared to the other cavemen without Oog losing possession of it, the value of it comes from the act of sharing. A creative work that never leaves the creator’s head is worthless, while a work shared with the whole world is incredibly valuable. (Don’t take my word for it, though: Thomas Jefferson – the guy who wrote or helped write the Copyright Clause, BTW – made a similar point, more eloquently explained.)
Copyright isn’t a “right” either. It, like incorporation, is a privilege granted by the State (or more specifically, Congress, but Federalism is beside the point). It does not exist because the creator of a work is somehow entitled to it, or even because the People wish to reward creators for their work. Copyright exists for the sole and express purpose “to promote the progress of science and the useful arts” – in other words, to enrich the Public Domain. The mechanism of copyright, granting a temporary monopoly in order to encourage the creation of more works than would otherwise exist, is nothing more than a means to an end. The goal of copyright is for it to expire!
Anyway, point is, I’m kinda already making that distinction between basic human dignity (natural rights) and artificial laws (copyright). The situation we find ourselves in today, where actual property rights of actual people are being subordinated to Intellectual “rights” of imaginary “people” is some pants-on-head stupid, ass-backwards, Bizarro-world bullshit!
They do the same thing building architects do. They draw pretty pictures of the end product that may of may not be structurally sound, then rely on engineers to build it and make sure it doesn’t collapse.
I tried to get a software architect to explain their job to me once, it was like a “lean startup”, a libertarian, and a psychic had written an elevator pitch together.
I disagree with not needing dedicated architects at least once you reach a certain size. If there are 50 plus developers working on a dozen or more projects there’s a large communication cost to stay on top of everything.
I always saw architects roles in modern development being the person trying to find synergies between different teams andcoordinateing them working with each other.
Like if some team makes a sick project for managing streams of data streams the architect should be promoting it for other teams to leverage.
That’s one role, as a software architect I also often served as the sunk cost fallacy bad news delivery system. It’s a good idea to keep some eyes from outside your team on your project just to do the occasional sensibility check.
There is also a large responsibility to make sure different teams are well coordinated and not building the system in directly opposing directions. It really fucking sucks to have your work, as a developer, invalidated by someone else’s work suddenly without any warning.
The good ones: design and adjust software development processes, standards for cross-project functionality and reusability and in general try and improve at a high level the process of making, maintaining and improving software in a company.
The bad ones: junior/mid-level software design with a thick layer of bullshit on top to spin it as advanced stuff.
If you want to see bad software architecture, just look at most of Google’s frameworks and libraries.
programmer_humor
Top
This magazine is from a federated server and may be incomplete. Browse more on the original instance.