Yes, or you can ask the port maintainer to change the default options. Of course that might take a whileSo , If I want to change default options, must I use ports tree for that?
The general rule of thumb is if the option doesn't introduce any extra dependencies and/or is useful to most of its end users than the option should be on. It's worth asking the maintainer.Yes, or you can ask the port maintainer to change the default options. Of course that might take a while![]()