Sii habka curl ee Java ay bilowday doorsoomayaashiisa proxy

U deji galabyada soo-dejinta ProcessBuilder:

var command = new ProcessBuilder(
    "/usr/bin/curl", "--fail", "--max-time", "30",
    "https://downloads.example/data.csv");
var environment = command.environment();
environment.put("http_proxy", "http://proxy.example:8080");
environment.put("https_proxy", "http://proxy.example:8080");
command.inheritIO();
Process child = command.start();

Khariidadda deegaanku waxay ku bilaabataa nuqul ka mid ah deegaanka habka Java. Isbeddelladan waxay khuseeyaan hababka uu dhiseyahani dambe bilaabo; ma cusboonaysiiyaan terminalka waalidka ama dhise kale. Hubi doorsoomayaasha dhaafka ee la dhaxlay haddii curl weli si toos ah u socdo. Waddo soo-dejin HTTP oo dadweyne ah, ka dooro barta ugu dambeysa ee ilmaha liiska wakiilada HTTP.

Tusaalahan wuxuu dhaxlaa qulqullada caadiga ah. Sug ilmaha, maamul xaaladdiisa bixidda oo hayso siyaasadda joojinta ee barnaamijka ka dib start().

Sifooyinka nidaamka http.proxyHost ee Java waxaa iska leh koodka shabakadda Java ee ka qaybqaata. Curl wuxuu isticmaalaa ikhtiyaarradiisa iyo deegaankiisa. Haddii ilmuhu yahay barnaamij Java oo kale, sii doodaha -D ee loo baahan yahay ka hor fasalka ugu weyn ama -jar; doorsoome deegaan oo kaliya loo yaqaan http.proxyHost ma dejiyo sifooyinkaas.