u/Available_Pressure25

▲ 27 r/freebsd

How is everybody using jails

I have started using jails in my system but I am thinking if I am overdoing this. I had this mindset where I wanted my host to only contain packages that is minimal focusing on writing/reading with emacs and internet browsing; and then, I wanted other activities to be separated using jails. So, for example, I have a dedicated LAMP webdevelopment, one that has cybersec related packages, and then one that mainly hosts ollama. I like the idea that when I open my computer, there is no other services that will run besides from my emacsclient service. I can just use "service onestart jail-name" (I allow nopass in doas.conf so I can assign command aliases or functions) to start a specific service. I also like the idea of grouping and isolating the packages. For example, I feel peaceful that i dont have tmux in my main environment (my base, I feel like I use a lot of terms to mean the same thing) but I have it in my ollama jail because I will sometimes need multiple terminals there; or when I dont have mysql in my main but I have it in my LAMP jail.

I know of service jails but it means mixing my, for example, LAMP related pkgs to my emacs-and-internet-browsing related pkgs. So, I feel like I cannot move away from having thick jails. Is that true? I do mount my documents zfs dataset though; so the files created by me only appear in one place and they get mounted to the jails that need them.

Also am curious to see know other use cases of jails.

reddit.com
u/Available_Pressure25 — 6 days ago

Blocking other GPU drivers from installing

I know of blocklisting and locking in pkg but I have not looked into them yet. I would like to share it here first in case others might find this helpful or interesting.

I am using amdgpu and I noticed that when the nvidia-drivers and nvidia-kmods are installed along side it, it seemed like nvidia is being prioritized instead of the amd. Like, just right now, I installed imv. I tried opening it from terminal but failed. I lost the error message but it had soemthing to do with opening the window. Then, as I suspected, the nvidia packages were installed. So, I removed them using pkg and imv was then able to open and run. Also, running eglinfo produces no output when nvidia is installed; it does when I remove it.

The problem is that many packages I have installed always come with the nvidia drivers. So, I needed to remove it everytime. This does not cause any issue when using the package so I think removing it is safe since I don't have nvidia to begin with, right?

reddit.com
u/Available_Pressure25 — 7 days ago

S3/fw_suspend

When I was in FreeBSD15, there was no wireless connection because using rtw890 causes panic and reboots my laptop. But, I had a working suspend resume that time. I can close my laptop and it would save me battery. Waking the laptop did not leave it with black screen and unresponsive state.

I used current and suspend resume isn't working, also in FreeBSD15-1. I am wondering if it has something to do with the wireless connection?

I have tried the different drm-kmods but I still haven't made it work like before

reddit.com
u/Available_Pressure25 — 14 days ago
▲ 13 r/freebsd

pkgbase with compiled kernel

So I was having conversation with Deepseek and it introduced me to these commands:

# cd /usr/src
# make buildworld buildkernel KERNCONF=YOUR_CUSTOM_CONFIG
# make packages KERNCONF=YOUR_CUSTOM_CONFIG

What I am currently doing is using pkg upgrade and then compiling my custom kernel (if this is problematic please suggest the proper way of managing this setup). I am using 16-current. Now, it is my first time seeing that make packages given by the AI. My impression is that instead of manually compiling my custom kernel, I will be able to use pkg upgrade to upgrade it instead. That seems like too good to be true hahaha. I am curious if that is real and recommendable.

reddit.com
u/Available_Pressure25 — 18 days ago

Looking for academic online colleague

Hello everyone. I am a fourth year BS CS student. I am studying category theory for my thesis. I will be using it as a tool to implement my project. I don't have any real life friends or classmates who know about it. We are by pair in doing thesis but I doubt my partner (since research methods) would have the patience and mind to study and understand it (not to mention that I might lose him as a partner). So I thought of trying to connect with people online who has experience and confidence in category theory, especially with writing proofs. Plus, the time and patience to commit to this connection. Will anyone be interested?

reddit.com
u/Available_Pressure25 — 20 days ago

Rtw890

Is the rtw890 wifi still causes kernel panic in the freebsd15? Mine still reboots when I up the wlan0 interface. I am planning to buy wifi adapter but I just wanna make sure that the reboot isn't caused by me just missing some fixes to do.

reddit.com
u/Available_Pressure25 — 28 days ago

Formal methods folks: anyone willing to glance at something I wrote?

I wrote a research proposal formalizing part of IBC (blockchain) using process algebra. No one really looked at it. I'm moving to a new topic but still wonder if the idea was any good.

If you have 10 minutes and know a bit about process algebra or formal verification, could you just skim it and tell me if I was onto something?

I can't pay you (sorry — broke student). But I'll be genuinely grateful.

reddit.com
u/Available_Pressure25 — 1 month ago