远程服务器存储着大量配置文件，格式是properties
，我想在web端打开这种文件，并做编辑后保存工作。
每次保存后是一个新的文件，重新推送到OSS，
记录一个新的版本和路径到数据库。
前端的插件问题，富文本编辑器我认为不行，带了许多格式，html自带的
textare，我看到最好的就是github那种代码，带语法格式，
还可以编辑修改。不知道这种是用的什么插件。
或者还有其它更好的方案不吝赐教，感激不尽！
新人，没有积分啊。。。。
你说的就是一个markdown编辑器
https://blog.csdn.net/qq_37581282/article/details/83999162
https://www.jianshu.com/p/a57114bd9380