3 ms·
Great point! Honestly I only started using linux back in October and my shell experience is still pretty limited, but growing.
by TrevorSundberg 7y ago
Great point! Honestly I only started using linux back in October and my shell experience is still pretty limited, but growing.
- stephenr 7y agoFor deb based distros at least all the tool needs to do is `apt-get install foo=x.y.z; apt-mark hold foo`