1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-21 04:06:46 +00:00
Commit Graph

7 Commits

Author SHA1 Message Date
Mathieu Arnold
e1bfdfbe56 Add DOCS options to ports that should have one.
Also various fixes related to said option.

PR:		230864
Submitted by:	mat
exp-runs by:	antoine
2018-09-10 13:14:50 +00:00
Steve Wills
77b7353bf5 editors/micro: Update to 1.4.1
PR:		230953
Submitted by:	Dmitri Goutnik <dg@syrec.org>
2018-08-27 17:43:46 +00:00
Steve Wills
219ea1294e editors/micro: update to 1.4.0 2018-04-07 04:03:21 +00:00
Yuri Victorovich
54e279cd72 Make 41 Go ports respect MAKE_ENV. This is expected to unbreak them.
Ports:
benchmarks/hey benchmarks/vegeta databases/influxdb devel/arduino-builder devel/arduinoOTA
devel/awless devel/git-codereview devel/git-town devel/gitlab-runner devel/grv
devel/hub devel/jfrog-cli editors/micro finance/fixc misc/exercism
net-mgmt/intel-snap net-mgmt/kapacitor net-mgmt/telegraf net/goreplay net/syncthing
net/syncthing-cli net/syncthing-discosrv net/syncthing-inotify print/cups-connector security/sops
security/vault sysutils/amazon-ssm-agent sysutils/circonus-agent sysutils/consul sysutils/consul_exporter
sysutils/envconsul sysutils/serf textproc/consul-template textproc/spiff www/gobuffalo
www/grafana2 www/grafana3 www/mattermost-server www/minio www/minio-client
www/uchiwa

Approved by:	tcberner (mentor, implicit)
Approved by:	portmgr (port compliance, infrastructure)
2018-03-07 08:06:24 +00:00
Alexey Dokuchaev
a247b2f47d Do not abuse INSTALL_MAN when installing documentation, examples, and
other miscellaneous files that are not actually manual pages (part 2).
2018-01-11 14:18:01 +00:00
Mathieu Arnold
d7e7e4397c Stripping go binaries is perfectly fine.
https://dominik.honnef.co/posts/2016/10/go-and-strip/

Sponsored by:	Absolight
2017-10-12 09:06:17 +00:00
Steve Wills
6102fc7672 editors/micro: create port
Micro is a terminal-based text editor that aims to be easy to use and
intuitive, while also taking advantage of the full capabilities of modern
terminals.

WWW: https://micro-editor.github.io/
2017-02-27 22:23:16 +00:00