@StephenKitt I got this old comment on IRC from the Evolve maintainer:
> <marmoute> faheem: apparently, evolve doesn't build on Debian with python-sphinx 1.2.2 (it seems main was added after that version, so you can't do "python -m sphinx" like you're doing)
But Jessie has 1.2.3+dfsg-1. Obviously, I'm not familiar wih the history of sphinx. I don't think I've ever used it. Should such old versions really be a concern? Comments?
@Tim Something applied to the level that not everything looks like a nail, and people don't end up writing the sorts of commands Kusalananda quoted because they have a wider range of options they understand the implications of. The software carpentry workshops I've seen (that deal with that sort of thing, rather than statistics) seem to give people just enough rope, but stop too soon for people to understand what they're doing beyond the direct examples in front of them.
Some others start from too high a baseline, for people who have and wanted a true introductory programming background, and there's an unsatisfied gap in between
@StephenKitt Hmm... That behaviour was fixed in bash-2.05a-rc1.
z. Bash no longer attempts to discover if it's being run by sshd in order to
run the startup files. If the SSH_SOURCE_BASHRC is uncommented in
config-top.h it will attempt to do so as previously, but that's commented
out in the distributed version.
That means Chris must be running with a non-default (or very old) Bash.
I forget how it came up, now. It was during the U&L election, and Kusalananda told me it meant something like "oops" in Swedish. I was going to save it for my first mistake as a moderator.
"hmmm...what if, you walk into a room, and a girl looks at you, and says, 'ojdå'... did i have a nosebleed!?" -- "Hmm. Either you had a nosebleed (oops), or did something embarrassing (sigh) or you are stunningly good looking (wow) " -- Swedish is fun :)
@JeffSchaller Nice, what kind? I'm thinking about getting one of those ryobi 14" ones. I need to cut down a tree in my back yard and will probably need it for misc pruning and such in the future...plus it will be nice to have the right tool in case I ever come across a picnic table what needs cut in half
I have a really old Craftsman chainsaw, inherited from my Dad; I think it's a 16" bar. I think I'd get myself into trouble if I got a bigger one (going after trees that I shouldn't)
Nice, yeah I think I would prefer a 16" but it seems like they start getting exponentially more expensive as the size goes up and I can't really justify a really expensive one on my tiny half acre
yeah, I'm no professional, but unless the tree in question is more than, say, 20" across, you'd be able to get the 14" bar most of the way through it, going around
if it's that big, I'd be cutting a wedge out one side anyway, so you're not cutting all the way through, regardless -- just have to reach halfway, with a little fudge
This one is pretty tall so I'll have to cut down most of the branches and upper sections separately and the 14" would be easier to climb a tree with
I think there is only like a 40% chance I'll die so I like my odds
My wife also does wood burning artwork though so I will also use the saw to cut wood disks out of logs for her to burn into, like this: https://us-east.manta.joyent.com/jesse.butryn/public/share/wood_disk.png
Have a political question. If Bernie Sanders becomes president, how can he deliver what he thinks right, despite the senate is still under the control of GOP?
@JeffSchaller hah, probably cost more to ship it than it would to rent a wood chipper. I bet you can throw it up on craigs list or similar as "free firewood" and someone will come grab it
@JeffSchaller Heh yeah, that's what that ratchet strap is for though. That is the method I use to pull my truck out when it's stuck when I'm offroad. "poor mans winch"
You can let the come along slack out and then tighten up the ratchet strap
@JeffSchaller It's $57 a day to rent a 16" chainsaw from home depot and I can get that ryobi 14" for about $100. I think I'll use it at least twice (probably much more) so it's probably justifiable to buy rather than rent
I have five huge cotton wood trees in my yard as well (like 100+' tall each) and then sometimes drop widowmaker branches that need to be cut up
Plus I have a fireplace so if I have a chainsaw I can go get free wood from guys like you trying to get rid of recently felled trees and chop them into usable wood myself :)
I think he was just being defensive because you suggested his question was off topic. I don't like talking politics though, last time I did @FaheemMitha got mad at me :(
Chainsaws could be on topic though...In the event you have a linux server what needs cut in half
@JeffSchaller Yeah I know it's kind of sad but I got a MOTD from fortune(6) a while back that said something along the lines of "I became a much happier person when I stopped following politics" and it seems like a pretty good lesson to learn
It would be nice to really try to follow politics and make the world a better place but it doesn't really seem possible to make a change at that level. I like the thing Jordan Peterson says like "If you can't clean your room, don't try to change the world". Basically about how if everyone made small changes for the better with things they can directly affect it will result in a widespread positive change
To tell a secrete that I know: A lot of people said that they are not intereted in politics, but privately voted for Trump, because that makes them greater actually. Don't tell others.
@Jesse_b I feel bad, because I should be more involved, particularly locally. Nationally, it's a lost cause right now, IMHO. But I'm always reminded of the phrase from HH2G: "anyone who is capable of getting themselves made President should on no account be allowed to do the job"
@Jesse_b I'm with ya. I realize that I don't understand what really goes on, so I'm just happy that our worst problems so far are mandated health care and people being caught making money -- and not bombs dropping in the streets or droughts
The real challenge for democratic socialists right now is to win the primary
over corporate democrats or democratic establishment, who have been looking for donations from the same donors as GOP.
If corporate democrats or democratic establishment win the primary of the democratic party, it will not matter much whether they or GOP wins the general election, just like 2016
@JeffSchaller Dang that must take a while, or you don't have giant rocks all over your yard :p. I have to do some serious reprofiling at least twice a season. I used to use my 1x30 belt sander but I recently bought a 4 pack of those drill attachment ones to try out and I kind of like them so far
Although they are almost impossible to use with a hand held drill, they work really nice in a drill press though
@Jesse_b I was about to say, a hand-held would be hard to keep even pressure with; I also don't sharpen my blades as much as I should. It'll kill you to hear it, but having an awesome lawn is low on my todo list :)
@overexchange you might consider asking on the site; the code got cut off before the actual command, so I don't have any context for what the container is and is supposed to do
Does volume instruction create target space in container?
# Create the folders and volume mount points
RUN mkdir -p /var/log/jenkins
RUN chown -R jenkins:jenkins /var/log/jenkins
RUN mkdir -p /var/jenkins_home
RUN chown -R jenkins:jenkins /var/jenkins_home
VOLUME ["/var/log/jenkins", "/var/jenkins_home"]
I know... how docker volume create works..
what is the source point for these volumes?
here mountpoint is named ubervol in this command docker container run -dit --name voltestcont –mount source= ubervol, target=/vol alpine:latest
In the above docker file, is the mount point anonymous?
Am trying to create a automated build system with epheremal jenkins slaves as generic build containers
Amidst creation of an image from below Dockerfile:
FROM openjdk:8-jdk
# This is FROM openjdk:8-jdk
RUN apt-get update && apt-get install -y --no-install-recommends \
bzip2 \
...