From ffedd494dd50c0e2a2519d54ce10ca94232c417c Mon Sep 17 00:00:00 2001 From: ian Date: Fri, 18 Apr 2025 05:53:44 +0000 Subject: [PATCH 1/2] Improve design of "Use on OS" pages --- .gitignore | 3 +- css/main.css | 4 +- images/thumbs/NET_Core_Logo.svg | 2 + images/thumbs/Rider_icon.svg | 19 ++++ .../thumbs/Visual_Studio_Code_1.35_icon.svg | 41 +++++++++ images/thumbs/Visual_Studio_Icon_2022.svg | 86 ++++++++++++++++++ images/thumbs/github-mark-white.svg | 1 + images/thumbs/github-mark.svg | 1 + images/thumbs/ionide_logo.png | Bin 0 -> 13142 bytes use/linux/index.md | 44 ++++++--- use/mac/index.md | 51 +++++++---- use/windows/index.md | 64 ++++++++----- 12 files changed, 262 insertions(+), 54 deletions(-) create mode 100644 images/thumbs/NET_Core_Logo.svg create mode 100644 images/thumbs/Rider_icon.svg create mode 100644 images/thumbs/Visual_Studio_Code_1.35_icon.svg create mode 100644 images/thumbs/Visual_Studio_Icon_2022.svg create mode 100644 images/thumbs/github-mark-white.svg create mode 100644 images/thumbs/github-mark.svg create mode 100644 images/thumbs/ionide_logo.png diff --git a/.gitignore b/.gitignore index a86d1dc3..16ab5adf 100644 --- a/.gitignore +++ b/.gitignore @@ -7,4 +7,5 @@ _site/ .DS_Store run-jekyll.* .ionide -js/ \ No newline at end of file +js/ +.idea/projectSettingsUpdater.xml diff --git a/css/main.css b/css/main.css index 79a45ff6..45ad23f3 100755 --- a/css/main.css +++ b/css/main.css @@ -127,6 +127,8 @@ a[href^="https://fsharp.org"]::after { } } - +article.prose-card { + @apply pt-0 prose prose-slate dark:prose-invert p-8 border border-slate-200 dark:border-slate-600 rounded bg-slate-50 dark:bg-slate-900 shadow; +} diff --git a/images/thumbs/NET_Core_Logo.svg b/images/thumbs/NET_Core_Logo.svg new file mode 100644 index 00000000..d04bf047 --- /dev/null +++ b/images/thumbs/NET_Core_Logo.svg @@ -0,0 +1,2 @@ + +logo_NETcore \ No newline at end of file diff --git a/images/thumbs/Rider_icon.svg b/images/thumbs/Rider_icon.svg new file mode 100644 index 00000000..f8735494 --- /dev/null +++ b/images/thumbs/Rider_icon.svg @@ -0,0 +1,19 @@ + + + + + + + + + + + + + + + + + + + diff --git a/images/thumbs/Visual_Studio_Code_1.35_icon.svg b/images/thumbs/Visual_Studio_Code_1.35_icon.svg new file mode 100644 index 00000000..0557c2cb --- /dev/null +++ b/images/thumbs/Visual_Studio_Code_1.35_icon.svg @@ -0,0 +1,41 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/images/thumbs/Visual_Studio_Icon_2022.svg b/images/thumbs/Visual_Studio_Icon_2022.svg new file mode 100644 index 00000000..973cc689 --- /dev/null +++ b/images/thumbs/Visual_Studio_Icon_2022.svg @@ -0,0 +1,86 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/images/thumbs/github-mark-white.svg b/images/thumbs/github-mark-white.svg new file mode 100644 index 00000000..d5e64918 --- /dev/null +++ b/images/thumbs/github-mark-white.svg @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/images/thumbs/github-mark.svg b/images/thumbs/github-mark.svg new file mode 100644 index 00000000..37fa923d --- /dev/null +++ b/images/thumbs/github-mark.svg @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/images/thumbs/ionide_logo.png b/images/thumbs/ionide_logo.png new file mode 100644 index 0000000000000000000000000000000000000000..1a09d0228a527800e72bd7334ece53087aa2c4be GIT binary patch literal 13142 zcmX|ocRbX8{P^LFGqc^Hkc{lZ8QHSR*|Thi!;w8R(}|2TbI#1l$ZAS& z4^5;d2-K8L_t%*c_)QjQrl&$0u05jfk461Akc;r z2&9|`0&)5kyfak+CLn(Lwt*lJ9qYx143uBM1q@OL86b72*TF1c86}LvKN|of$l#`? zMcC|Cq2oQfkNA~hA(ZlrNXYE~RQ2b}SGr+6n&i*e>!@ubFCm%;Gmpuv1P_fAyvQS^ z_ULvS|4{00aXM}4=Gi+v{p1wbG-JOj5-VfNC4E;T1?;b)awqaj42yvT9_w>Q=4kP~ zo|oC&@OHg=l~Lg;8Q3;=I%dOSs-fu3w}@KsfT+B(Kd9t-hXdIqqT>|yuMM|`b@W{B z{1?!y^R=~ROVQ*3vulVrRwq2Qw3xK0cl2YMl0Z5QHmi8V-NL6L@qICGv&kmO>^N3k z%|s>JmZ7_w4Ft7FEyy>ivRr&pl#xgzYRp-wUDNH&=CtQ%FdL#QywItl{f&p zF7LlDY8ND$*&da(z>lWkdXueH)!)WD(5d*0?5&7j)B18N=nkkJ9%M*5e&=H-|2SwrwH<(c~Yc=k5zB#9?q33aFR~wI4Y-9t)+sqfemS875zkIyVy$3$#Rsm|Y1`8&t zBWJW<=VMg%Y7=sta*VS}`YBMaoz(5|ou$odJM#Wp^6BkX+@0j7vYOh&ONth+quL~6 zAu4Cd_Mkxe3TC+k`Z#T7>B?8cn`H4=oPVTF7<(txi^=zEOY)#i%B`h@R3T&&B->(= zOwrKI_K)x2^}GR5Cs<)v?E+mj^3Yj1zm9q_GZqW0r!l-TY~I0$OTW&62#z~@Qqu1t zZAFIhkalJ=lb{}c9fvx{ewPb9{e3;t;s^ZhQtUf&LLO3+G!08}i!*fE^>GnQygD)d zZ;n~rIwF1ePtkdZLDO6A+*kg!#-DKo=d{x>iYZ31E=mN2rfcAo$Hrs~D~#?Oa^EY= zj7Z8!D!l$DEmw%i9}%c|#D5p&tTurtx=j8PnzB9Pd21?!6ZDQUOGy3Z(UOd5sPkKV zD&xOJPR{Ww;h^socAKnGY;-Wysg> zFh?#$%I-E07k^G!xW7%L_n}IKT5G~`oizu}a{&B)ZPrCoZ8W~}$?XQusx|aW`q^M4 z@AV_AyH@?1jahPj@wL5496Gjc+431#19Pw*^jsrLfz#+!bWqU1DXcDp$0{D0K3h(; zFWe7RyBl0@9ejN0K<+l&gGp+4IG)(P z`THpYB-HRY&TUO;AsiagGtk0zgvM?@O(R?19I(@hfKY7;%i~lunf|FaO!4z$cfqdSZ>Mft}^!+jSfp4{D}t-m*-ay zpz1u#R`G6RBjr^ct@%_P={Sg!g2gAT0H(p3k5LG-wc6?$`eJ6eteVR2^7%TLw~Z|2 z52=O8sOT_`VxaUodN1R9K zA;tVhNPQ#?{@pd=P5orY@$k*ZS_K}g<6|kxq(KgUp%3E7H7@P*Cj}tidJ@YMr6AA; zOIC-UMU?ZeR@jALk@~5$(CL10*Jl_N>#{u+oBo0{cfo4kHD1 ziqvE;j8=SKUvfez#EXrXHzNKRhstSEPpi6tAwP3jGgL=kZiH0x`OJ)fp$C4Tx24ANb8+y{fR}aSFV{^upOJ z;RO|cmIKR2NXFB$(r59SRG{7U%~eBXJR;LO7XsC*5Ct3SX`3btX%H8_<0mTBTxg-& zA5DVf*mQ_!>nvR98d{{L1m_vFxYzMBD)67w#3 z>pc7j#^hoKW{^*NtGC3A+U*uC!-ZF$T`u~wSNl8Kn%)Fo-6zC{Hhiq`lNp{=S=DsD z6aCtg1#X^xx#HYAtFe?OfAJANy%rUy@%-LAsQo-@i!Mm85GeLMtl!GJ5Wad)#l{a zo?adulMd1)@kk)u(0MJHSBXE*e@Z+7CZ^drlfVo,EK9;3^Y@C2k04+EVSiyUH0 ziZ^u=rxeU`s@~vvjv2lG`;{p15&}E5_JQnfTuGDYR8;;xMk|qj|7>ac{Ir9jvg$Wu zrCz$<;hPQx2(-Je&O%dLL7QX~EN2I8p~bIz{yaa;XC}U%jAk0$j&`n9qTxO>OT8(* zlu`n{%>>_W%!Uv_)8~J9{5Hx%sP7-PslOE0!ZylWo!T>fGm`*LwWJ%$H(=CqKa^Pb z`B+G8ak1mw{IFLhKjy2yoD2b1(lqBxjwri<>q?J7FKYA0V@vqadqPO- zjq$O!4;3^)1D>` zUy@U@Eb#w$4P_y(T3C=XR^TjzvkiLrhlbE^aTQIIFJAtxg}ZUZ7K|+r~`>8Sj4Ib9TD6>DrbyRYRMX zKu;Z=lVlw@Tsd2BdYS?`1Q57+L&cD$kpU|E5WY_X?RLK@uiUg3Z(=?b8eduB;y>`b(XTba`4gRTW`J{{*k$aI1ym9M_#L?fyE0= zq!|+F$E&kWWQPt9O-_C^#I~uJW+ zZ5JqSIloy1eK1s=HGAZCt0S8G_?Y!@W3gK|IHt02!s{D;jf>zUPEct$hV6s$6NbXZ z9mMy~m~=;^znuU18nLAQQO`(Z?kF^V@BDOHZ+c<8;Z+<{Jm+6L-t*r2)>R1@Qj>;zeP?)?52Tq#nNj&R56bvax;fi8+lam5 zd@v$7z1O?4sC zd6wsovW*+aMXrjf<>meqc@ph&{Ig$7%9{b76MYuKJUEC>9FF-j{Kb0ve5zyn)|F_! zj?n!8EeDnW3*KR52xWX<`5h2KzOK@WH=$o_FY@FZYdnh`eD#w$redeJZ~AW)cJpCO zi}~5$foxdVO3;>xBYEakkmsX6X=RtjncFJ?78nw(1JCIS`)Y5MSic%eq9BCY9AKiY zdhy__Xlia8S;>ym%3P$#+5U~6?_s|ecg|@*0H}lS9UGe*V6CRVUPl@tkJ+53Uar*t z{A>nJHJwX1Nm_)_ql$kQgjiACs>G4S?!*|M$%pN!(@oQxZDcduD4nEym6825o#6(b zrCyI9D84WG4oIu_^V?^%uHEamhfPo}CiQM|nyw}D0jgO3 zlpZVh-tQaM+@Bc^GKts;oi1jR6F)81^N>v@|07?l%Z?hAW2qWbbJ;PM$8a#i0XJ)I z5|l3n%2)Muvnp9MRDD^;N5KaPZ#yU3{oIgt6xiA-e!8Q8VH68KzD-{AmRiM>_A+t` zl=sPyWD_bkKv6!HbYy=PkJl19qd))4csSawc;Ybp&7oPUXZZYS*Gl7NbroIL2-eu3xQKs1|KE!tCplYid{Q z1+aEPiRJGinJOIr9-#s|ip^)fP<%TFRm2=Wj3yQ+Lkg5-#?|Mdz6-Xi_JQKc8prtG zL36?%BBk+yE3HVP&8O-t>IQo0;3_}}FDw@KW<v6^Lc`~JER&#evO_zY;55;3JK zoQ4n9)pPCXveV5JfL?-st6^~Rb#rrDg#0-9y=e)$n~?fsL`W+$>eFHogJv0>+w5Hd~q~eldjVxr7%2sOwQRL4AJVN2aLT|myl(Opz{K(RGUN}e;dY8 z%jssuhZ+Jbqo^PzqBM{}BkTLC_y@X(gNDwfMlSv=iHlu5m2YAyNTL`4%~Fl4Z#IYN zoN6c|KQYIKtjEmPxUMn^tK0^B1{%WUiqcozh5e#nba{~t3?|mS3|%sK_~oN;{^w7h z5Om{IMw)=^KkGg6zSqZM>i6_f-L>Ehw#l|T*`)k8CCo==oJTBSDz=qw6JL5HQv^`W z59ys{xe!kz?Y%C;TFHvo1`BfL2QMG>*6PDQzh`(JP7Rxx?pXX@t_-)JfhqtVND3oC zZArPa>-uW@!}hiirEjr-w%XM1c5S!Wp)uRwp?yQg0`~=Of#*R)32?|8cds7 z%cIL*NI;y(jfJ{(?8A=}QV76{4m#aw!g5tS)44RR)`5rL$7I;W>tcd<4IT|uY0ff; zbwPNgZW7-zK)ZF-F(}{N`swFPo&D@+uypAv>)KPVL;=(u8Q{D;dSQD+98-C9NhedW zG2_jLIJ?+NzF31PTCpy2esg-j5sGjIgzkurgl(Znn<(jrI*s2|n9wf0o{tyYPr&sH zqiDEQ8#5A0kPK&3M7;n_-`J&P212Tloo~>hrC^iQ6X6lAPO8`zAVj4R>k^37VQ9F4 zct(T2uT2G#w0}2AB`wTKLy2+dh>j{yi!$wrbO3Ho2@*z$zu}3#>}LCDM^5=yjo?kv zSPBjPnx~32_ZD${A=T)<_Sn=1=WBWVsALMLGPk_P)vJ8ZWdGWN z2e~NbR^%$7QP-LwM~rv+TnNI-)wRy%dqg8+B3I%NN9>QBoE(wIQa3MXsw@0$tWm#B zdK-%PSPD?=X`Q-$Wy#n}+A$wh^S3YAI|ylVgRBn_e`ug$xaxsTcZ3OqQ081F8ZT}2 zHi9N-eDj;V8Ea=iE`$OvNFk@}kF?^e*Qk8B{C6O!k!4L8A7k0$EzS%Fv`wIl=7Q+& z+n3({><$CcSrKyI!Le>C{Z4~-f(3!y!%!>URFqDF-;#zUeb1W(dF5XmlUnh{&zotW zo4EeTG13fuC?Y=-gw$Onru4vr$Yx%Duo+AT&(Lk zzbGHTIz0SYP*j1RToB^y_l$Q#$Q26*3!leI1nw0^dpDN;r(cd2D^PDWDFg{Yw$E8y zK@6y{Y8)dm_usE#fv-EC6rZCOQ3d1-&igOf8Xj61k(=ak+dWg8*I~IO8*!~GyGyt3 zDkR5^46hHn2i$cyWl&bc2c8>!hM>U@@hz2e>E3w88FQ|ua@6mEPcdeHm{TJ5{Zy`w z!(&%w0OU)IS9C1NU~0p6C5y3etE>(=v^#x4 z1wi3kk?b!e88A0n%<&PqP=Fs#N+FvD@e({C)qh&fUQ8D+<5#24Lg_UUU%A@NPk8V- zxKm|YWyz2#fgX^2o48^5C#xwbvF22b6{ka~93&bbRd`QZj5AiLJj12ye-|NdFa_#i zJ7+LKi%5H^O8WdFWDNJIj7(7baeF$V+Il7naB#S_ov%U5tVjewCQu%pg4S@pMyPqC` zbmXXSqq8yKLfga+-~23-LJ8}al!f3Yd&OIG=j)ry<;a5mTie7$crv>)_v`m*|6w;} zp2SyMf}o}oiuA}0-qJsPFx|^zvVP^f8u=gUqoUrN^8E}fPBm`yOw3t`cMdhb@&+}m znAXRJ8h`5hxcyz8HtTmG?yfA0Tw{HpfFyWxl!m^T zR0qg(3Blpa$`7f)4;bEkvc(omBCd2KQIE3_Up^+){&zio3_KQT4WBSf7#|-P)zf`f znHFmZbw`|YXTG+3#AtkREe7W-89yrq)gvc1U7jCkUybwjp{K$Z=@bAL{Fps3LBFVV zTV(wG&GtU()W1&1r9=aTGr|QA0LnH2Db(o69Y4I%cxiSLL|kLU2b-24W3;drMvObr zc|smUC>`QjM(36&pse!#{|q6%+dZ08;b|WA)ey9h+^66u2r$ck2hx%e{4DfXy@F)F zW&t#Vb_4d55#x2n7+}O3AnTUO>Xvmu%Zu@TN(_gb+R?6vUfHHVVTcWcM2Ct$XJrXkz#{o#}UgJ##7k2pvmNnQb^W=B{d zJ=2o?JfZ)K9kPO9EOyl%+2dgjn=|Y=`ljksT(GDul&QVxgraz2gOJR&vAlsg+vz7j6*B7jMz;`WzE_CBdTj2AMwFLQ710{y1L86ioSJ(XH;+Pnknwy*Tr&X+=ow<_Jk8X^IODX-3L~%hCX`okD zvaQ)-+EpvQH@cA`yBGjU0Gvnvg8>ElO|n&BD6GD7<6a#c7&ZZ(kfm>!P?Le)Bp=o( zj(}VYy7TS-{DBD$19dGDciR_er+|mCZu@y0$MqpcUWSIY3cTH z3c&UvXShFy(=vb8ztaEP=}=0)SnBqtg(BwM?T^yMXh`%4>wVkkBAmaTwZ$C$uHdHl z_->rmJQd5ui4g@udQ(?QPse96Vh>Dz>rDgBFMn23`9kwXSjTTJxqL~9+S3&;fZ?!a zi9>A*Zug`9M!L3rtZFD8H0K)D6E5o+Rzb+Lt)lP19D?RP#$8~25{3J-a$|JScXw}k zCo5q#pvm_)3)}^^kt{WVL>fw=eZ7wF?*op^RY3H*fxJho6q}Y4(`Z3RR7an+Fa?MJ zb69E$SNe$#%I3Y$+Rf<_#uu0z3Y(4ko;`kQw1}mFx+%yqF}Qg|3=g`Jh-W0_ZVxgQ zhEjk}82DYS9dnC&dSt60&`6x9cYv(_&Q?L9ccJ~%LHH(c?osf<|Ex1U`WhgwmN*Dn zpqktfp@{Wvi%|r@MDXc&v&ih{{6Xz3pJv(f(BHl$>3^BanuxOp5L6hv78R>eC<(Uyzcl|Pzwyu1^gIV zS|})NJ8N_ofGXB8^5$b&YS2O!4$lP#>K%K#=UhQohM)E+JZAx(;%u%$ELVocJo^#6 zO(nHN*ipGnTzhE99+CA1!PttAE6Ip?t9fxt2L7_1sWsYC+i$g^@-| zMc|dY|9zlxV!c@74EUYp$`$=nDk_1qxwXG|;rsbOn8~0dB&&>Grsj~3>9`*2<6Z_J z2kFm80h-@Z>kKTupUY`&o}db~_Z+Hz+Q>qm63-AQ=jqakUD?44(M(1~;Q+|mM3v`P z{>t=Cmg&{E!shv3(6(`(Yp}q%y>3;eMLcX|5$EQbbQ7%bveAsazySyf%8NMAze_WW ztNnHIA*PJ=UiVP2WNI`7gyMrD^eii6;O ze#{H|Htfv*qDkZG%RADOjO*>gD*p-GKP{o02lahNv!GnPfEQ)$Pk(+E zhk2#LW4Qqzx91}p`hps$qP5mJYRMLu<4%_7;HQLb>*BO$K~>y z!ke%A#wW{n+#v`z!SyhQYjhVpI0lgEjE z4xcBr&K&R;=mIRHgEidn3bLT%;=jMbirN5$;BH15jy~`V!JBhhK9|%Ch?TdTsXd&8PLzsdDP zHOv%zghx98#1jO7jCj$X4R49+kyfb!l>#=LHxUKq;%jlXTObfi$we=KfL34KA@Es58H)5-iuc5^Xo@=KRAH%H^l0jr`h3sK{6Do&Tt;s=Z)Z*lXhJ8`_7nWq;x#%38y&NI!o*!A z1esk{gbzR;Sw>6&RjL$_^$mcB{$?9c$#{asg4_*2S(Yy5+y?IWCdxnA>-YHl+vysg zkk1(h3qE=7bNlPWA4B==8J<<}K7=`ql! z09aP*#b~-lf{34urC_AqjR201>pjI6tieVE8JNYUS$Ke+@Fp6v_bcU9(5vgFpn76v z`UuFGzwRvOgR^txSysFTUN0vk6ECO@f)3YLZg^=r#0^uR(iRtFKut z>Wl~A!RIG%?$;y9DbndanlZ=X60cr;50FnVD^hkCiOssc5to+14tI8CL7Zb@)7ps&g&!bp5u?Q>gGozc%fUQ%ZhaQMOd+w-V!AdAzel7P>NeH z_4K%dj;dq`uyrZaQ0R+q*io8%7mX^$1%YH+&UL=nkWkZ;`wDTR+noJ7fI$XIZKwh& zrwec(MYp)rbO<=hJCyVI@8buTW>5R5g;Bh~gHX72Xc^$V1h%6BnC1Q?8u5`@4A*!{ zFYjg_9v1x#2R7V)0$}T>iBC}e*r8pB}JC^)hN)s^tMw^i*yVsf@SW`>PVMr*k6fB9+x^#Obs=| z0Ie}7BwphfsZ0R-lC|1<0N1qb7nk6Q(tyOVpzXSaY- z+Z8x};Plk9cgL`U^4sQMhVOxjlYBY!W@{?*OVMA0G$JEGn%YF3NeR&H$? z)bAMuI`tSWIU0ReXt=Jh0}54JegJq%0f6t!Bij9RAPN?b4KM`E>SJ$jZ;;8ykHvz% z6mOXRm8mVvs0Xv;6>a}f(9`e?Rj9sqxV@!fSE5TqRo#Wz88BS5kYx8Xt_zcqmgZ$# zAjxdHs_J^oa6OUulUHP4t7ODErpkq|49n8hh`BaBAO>|cxbF2Vd1?v*t1$tJi0XpwHL01A7HT`n%$?I{f``2ueHc$2ZV_5W_=3X}sg{0~f7oBVpz ziVpgJ4>Zw9R=?6HcIkg$_LRRfW+m#x{onattN1UV1M*6fFOd8h%#~~NOF1*OZ;zia zpG}aYqa>69EdU8a3AAFGU)MyKgs~%Q=m2WGax5=s6SR^sX?`o_At(g!;$EQrot3$@ z`bq?Pi#=ALnpt8*ak6P1=Z6;5jTcW(;SjZ^aZ&&Z)8zPYf0?qH>n7K;0bSo0yM0Lx zj5K|z)-^iB`OAnN2(bKz#!AML@Ru}5%iY6<@2kUFg2MyrYH?t;_q<1@Fhu1^kP3)E=UfX`ng2(J#d2V1B)ZiyhTHjqEtN=_$_o- z)k%R5{XPd<*Od2MfBF)9Aek+u$P^Oa=MB^r0rxfK-8*QyYjTOq^{E^a0&l$q=NFmw zA3(ZM2vuM;1awh6Q==6l<3%z$X$xo3Ra^P1jRLiDz+Vt&e~16uiN*bLG^7Gv^fNC= z_D>uGzqTnDDXH_{OK#9kgTbkf%^0e_y0ZciS_9ctY~a1kYF#71 zJRebKfJkA&)&PZlnCt_~+nvAW*@S!xgm50-^OaHFnp< zFaZD~HO-JAO}lyrwFLo8cO^Bv?GER$>2_*W9?%kCGWiTw?LwRyL^#QU;ME&I0F2bz zEC5RMeFk$btjlz8gi|0G6=6O91y)Z{RRlDtkZEeGO4Or&YgIBjMNWpulM$Htv#x_0 zdj-jSXaV-fQKo@O^-k5P5$hDc;IEwjiwVvX3un|F5%PqZj*+ZAvt_m z+aHH&+dp0Mc)?{A{{!gcAhXjb-c6<=me<6cBCbcp(dhwn^Z$XL`v6a8Mx3!bUo3P# zq4tLbf&?gV2JAGLuy5{vL(JKa&~h~&gh;8sI%3Rk-{buphsyKH)Mby9Hvg-y2kz zu;aQpUR?P=AA|p$8s6+IA{qx|{WY7@o%d`V6lvkAjkc7H=;K;ya)RYyd})oFN}4FZ zK`!xqiYTiLAOKbgo#YUf{j{I0T0ke=;mC;q3KP7$ojQ+dd|zCHz@7vPyAJN`gIV<3 znn}BNexzFu<&E%UO zr?6ZiiekPTNbCcJB8E@5BE>Ct`<9e#lS`T;epuECZSK%H4P=hJg6v<5-~f8O>Nb0U z24SGcM4m}egb?~%__USVAe&~*od(u$P0V>}>XPO@_^olyp+bpdCi1+pRIMpR(4h06 zonel_4=8~&DoSda(^v;Ktuai$_ih|ZPKz< zjo4E!(-%oV-q78%=ZgNJ@d~DQDKZm`F+^3jiki94vP|~W`dl=EglD8Bl{>tgdRDOe z`Hrsp^j&ODXGGU6AOZj2PfuaBm&iy9VGu|-!K$RFynl9<^wR;TV04^)wmPL_ z#vCrcq}EL9L>98Kl#@}=I`d0@?50LdPs=L}D6_XWe*IY4%TXeKwj`uHwFdObS?W)z zgwJfqGX`?O&kWNl&$tb4d?-37YZkW%N*I>(JA7K!pXIw@a~wgNCujKDhZ&AcF?k_Q z;lVn%{Mz}KkGFm%B|^2|Xd>q%I%k4|7kOED@)SlDYhAB9FqhaE>GM0l27(A6A@&;s z9iCa+lcLC-2cMWA8mL;Z;MU; z#*}zR@OJD(;8-D}^u0Bey4$J}*pVTFM0O_J(xp3PtkxCT9jUT1ZC+j7f4Jr{P4b89 zURt=Vd)xqoej`Hv`Rc%Sv$ksv@CuB^TFvMyAONvSYY(L*zWecJTL6+Huex@_5^wmT zW^L|fCe`H|G|)oNU1W>#qo-w}FKfwShgIytuCeDTWT41qu!eVLJJz*7GAkgcTa(D! zY99B@WU>WWFVvpaSyHg^rc#Sd@UFG?+#l)Xioh}o<$RVoOgVge($Xsw>usALNExz8 zB8YdjLF4-f1}^L;hqeXEbON^O);N29(gDcbA~rgEyG&eZ*MC;uXzYz);wO3`ed!6n zBlnG;{`3|$92Aff=cs4a#y7|wa=YYDsEmR$)nL z->Wl1zGDbQzq`-p?p0&4B?sNZ&s-ni1}|y9RRt-#&G`yz1@H!>EPsd!P1s@On~B8d zw7avEXP}Nu!KtCFJ-Pg+_m=-^GucUM8UOih*Cj6;bzK9o>MKNP(y?lVof~?0@UJva z^-;+$f3s%-kWxHMMFONCY`=cxj_D_y{T-iq_GfSN5Rqo{9t!EGG8HFpp6Z8BTb<+k z&LPh1A>F(_e}eV+g2LjBtUDWs%N7sk#)X$aFS~3`h>SrHg8*H;#CQk3x&AAXWb#@F zY@etYWo>Rp--BAZF(Ga~T)1Vdl4n3-^AVU{sR=A`5u8CW6SP{2f4H3kNqMvgMOJKm z%?q_^x`pf7+_R^5kUU1FaX@KB?qLyVgH*g%@TDI_pT(@0K(DC{h5l8pXCb~2kS3&b z${bj(rvdKUbYl`q;L$V%d^6Ni5bD+byG=4vRjpE*Rc^9Wvm;@d2TZ0tvmF`N*_Zfo zO`nf-zn?|U;+)Je@!!TvFulC*m7vlglAt7Z^*Ig9>qA`8Z#V0AQ#UgW`c(7&wiJj- zI|dpi+T=beDHY;cmdtrj926YRZqR2uB)rkPxZ3PWT0azbnf^!vyX74F8J94=x9B^5 z#~Z1p+E6N+F8q5JQ!DW}kAoMu{W|a0V1LE92UkXCDQ&W|Mq00T;veE8!tDi5BNZ~T z4?V72MT^jN`a759`jt}s9s^N7emQdZ_jhA7cmIw|rdFem;L&tr46~dC_JLBH+KjG^ zL~hao2Ul~6NOFm&V31cB%R3WF +
+## Option 1: Install the CLI tools and use your own editor + -![logo](../../images/thumbs/dotnet.png) Install the [.NET SDK](https://dotnet.microsoft.com/download). .NET is available for major Linux distributions and is typically installed with the system package manager of your distribution of choice. +Install the [.NET SDK](https://dotnet.microsoft.com/download). .NET is available for major Linux distributions and is typically installed with the system package manager of your distribution of choice. Once that is installed, you can begin using F#! @@ -39,11 +42,15 @@ You will see a message saying "Hello World from F#". For more information see [Getting started with the F# command line tools](https://docs.microsoft.com/dotnet/fsharp/get-started/get-started-command-line). -
- -### Option 2: Install Visual Studio Code and Ionide - -![logo](../../images/thumbs/VSCode.png) [Visual Studio Code](https://code.visualstudio.com) is a free, [open source](https://github.com/microsoft/vscode), cross platform source code editor +
+
+## Option 2: Install Visual Studio Code and Ionide +
+ + + +
+[Visual Studio Code](https://code.visualstudio.com) is a free, [open source](https://github.com/microsoft/vscode), cross platform source code editor supporting [a lot of languages](https://code.visualstudio.com/docs/languages/overview). F# is supported by the [Ionide](http://ionide.io/) project. @@ -59,15 +66,26 @@ You can also install the plugin from the plugin pane on the left-hand side. Ionide works best if you use the .NET CLI to create your projects. You can learn more in [Get Started with F# in Visual Studio Code](https://docs.microsoft.com/dotnet/fsharp/get-started/get-started-vscode). -
+
+
-### Option 3: Install JetBrains Rider +## Option 3: Install JetBrains Rider -![logo](../../images/thumbs/rider.png) [JetBrains Rider](https://www.jetbrains.com/rider) is a cross-platform .NET IDE built using IntelliJ and ReSharper technology. It offers support for .NET applications on all platforms. + + +[JetBrains Rider](https://www.jetbrains.com/rider) is a cross-platform .NET IDE built using IntelliJ and ReSharper technology. It offers support for .NET applications on all platforms. You can install [JetBrains Rider from here](https://www.jetbrains.com/rider/download/). -
-### Option 4: Build F# from source +
+Copyright © 2025 JetBrains s.r.o. Rider and the Rider logo are trademarks of JetBrains s.r.o. +
+ +
+
+## Option 4: Build F# from source + + You can build and contribute to the F# compiler and library from [the source](https://github.com/dotnet/fsharp). +
diff --git a/use/mac/index.md b/use/mac/index.md index 29c0de6a..879a116b 100644 --- a/use/mac/index.md +++ b/use/mac/index.md @@ -1,12 +1,15 @@ --- -layout: default +layout: page title: Use F# on macOS | fsharp.org headline: Use F# on macOS --- -### Option 1: Install the CLI tools and use your own editor +
+
+## Option 1: Install the CLI tools and use your own editor + -![logo](../../images/thumbs/dotnet.png) Install the [.NET SDK](https://dotnet.microsoft.com/download). +Install the [.NET SDK](https://dotnet.microsoft.com/download). Once that is installed, you can begin using F#! @@ -39,19 +42,24 @@ You will see a message saying "Hello World from F#". For more information see [Getting started with the F# command line tools](https://docs.microsoft.com/dotnet/fsharp/get-started/get-started-command-line). -
+
-### Option 2: Install Visual Studio Code and Ionide - -![logo](../../images/thumbs/VSCode.png) [Visual Studio Code](https://code.visualstudio.com) is a free, [open source](https://github.com/microsoft/vscode), cross platform source code editor +
+## Option 2: Install Visual Studio Code and Ionide +
+ + + +
+[Visual Studio Code](https://code.visualstudio.com) is a free, [open source](https://github.com/microsoft/vscode), cross platform source code editor supporting [a lot of languages](https://code.visualstudio.com/docs/languages/overview). F# is supported by the [Ionide](http://ionide.io/) project. -1. Install [.NET Core SDK](https://dotnet.microsoft.com/download) like in step 1. +1. Install [.NET Core SDK](https://dotnet.microsoft.com/download) like in step 1. -2. Install [Visual Studio Code](https://code.visualstudio.com/download) for macOS. +2. Install [Visual Studio Code](https://code.visualstudio.com/download) for macOS. -3. Press `Cmd+Shift+P` and enter the following to install the Ionide package for VS Code. +3. Press `Cmd+Shift+P` and enter the following to install the Ionide package for VS Code. ext install Ionide-fsharp @@ -59,16 +67,27 @@ You can also install the plugin from the plugin pane on the left-hand side. Ionide works best if you use the .NET CLI to create your projects. You can learn more in [Get Started with F# in Visual Studio Code](https://docs.microsoft.com/dotnet/fsharp/get-started/get-started-vscode). -
- -### Option 3: Install JetBrains Rider +
-![logo](../../images/thumbs/rider.png) [JetBrains Rider](https://www.jetbrains.com/rider) is a cross-platform .NET IDE built using IntelliJ and ReSharper technology. It offers support for .NET and .NET Core applications on all platforms. +
+## Option 3: Install JetBrains Rider + +[JetBrains Rider](https://www.jetbrains.com/rider) is a cross-platform .NET IDE built using IntelliJ and ReSharper technology. It offers support for .NET and .NET Core applications on all platforms. You can install [JetBrains Rider from here](https://www.jetbrains.com/rider/download/). -
+
+Copyright © 2025 JetBrains s.r.o. Rider and the Rider logo are trademarks of JetBrains s.r.o. +
-### Option 4: Build F# from source +
+ +
+## Option 4: Build F# from source + + You can build and contribute to the F# compiler and library from [the source](https://github.com/dotnet/fsharp). + +
+
diff --git a/use/windows/index.md b/use/windows/index.md index 9af84230..c7207a5d 100644 --- a/use/windows/index.md +++ b/use/windows/index.md @@ -1,12 +1,15 @@ --- -layout: default +layout: page title: Use F# on Windows | fsharp.org headline: Use F# on Windows --- -### Option 1: Install the CLI tools and use your own editor +
+
+## Option 1: Install the CLI tools and use your own editor + -![logo](../../images/thumbs/dotnet.png) Install the [.NET Core SDK](https://dotnet.microsoft.com/download). Once that is installed, you can begin using F#! +Install the [.NET Core SDK](https://dotnet.microsoft.com/download). Once that is installed, you can begin using F#! Create a file called `hello.fsx` that looks like this: @@ -37,19 +40,23 @@ You will see a message saying "Hello World from F#". For more information see [Getting started with the F# command line tools](https://docs.microsoft.com/dotnet/fsharp/get-started/get-started-command-line). -
- -### Option 2: Install Visual Studio Code and Ionide - -![logo](../../images/thumbs/VSCode.png) [Visual Studio Code](https://code.visualstudio.com) is a free, [open source](https://github.com/microsoft/vscode), cross platform source code editor +
+
+## Option 2: Install Visual Studio Code and Ionide +
+ + + +
+Visual Studio Code](https://code.visualstudio.com) is a free, [open source](https://github.com/microsoft/vscode), cross platform source code editor supporting [a lot of languages](https://code.visualstudio.com/docs/languages/overview). F# is supported by the [Ionide](http://ionide.io/) project. -1. Install [.NET Core SDK](https://dotnet.microsoft.com/download) like in step 1. +1. Install [.NET Core SDK](https://dotnet.microsoft.com/download) like in step 1. -2. Install [Visual Studio Code](https://code.visualstudio.com/download) for Windows. +2. Install [Visual Studio Code](https://code.visualstudio.com/download) for Windows. -3. Press `Ctrl+Shift+P` and enter the following to install the Ionide package for VS Code. +3. Press `Ctrl+Shift+P` and enter the following to install the Ionide package for VS Code. ext install Ionide-fsharp @@ -57,30 +64,41 @@ You can also install the plugin from the plugin pane on the left-hand side. Ionide works best if you use the .NET CLI to create your projects. You can learn more in [Get Started with F# in Visual Studio Code](https://docs.microsoft.com/dotnet/fsharp/get-started/get-started-vscode). -
+
+
+## Option 3: Install Visual Studio + -### Option 3: Install Visual Studio +On Windows, F# programmers commonly use the Visual Studio tools for F#. -![logo](../../images/thumbs/vstudio.png) On Windows, F# programmers commonly use the Visual Studio tools for F#. +- [Visual Studio 2019](https://www.visualstudio.com/downloads/) comes with F# support in all its editions: Community, Professional and Enterprise. Community is completely free. See [Get started with F# in Visual Studio](https://docs.microsoft.com/dotnet/fsharp/get-started/get-started-visual-studio) for more information. -* [Visual Studio 2019](https://www.visualstudio.com/downloads/) comes with F# support in all its editions: Community, Professional and Enterprise. Community is completely free. See [Get started with F# in Visual Studio](https://docs.microsoft.com/dotnet/fsharp/get-started/get-started-visual-studio) for more information. +- If you already have an older version of Visual Studio, F# is also supported. But the quality of the tooling support and number of features is not as high as in Visual Studio 2019. +
+
-* If you already have an older version of Visual Studio, F# is also supported. But the quality of the tooling support and number of features is not as high as in Visual Studio 2019. +## Option 4: Install JetBrains Rider -
+ -### Option 4: Install JetBrains Rider - -![logo](../../images/thumbs/rider.png) [JetBrains Rider](https://www.jetbrains.com/rider) is a cross-platform .NET IDE built using IntelliJ and ReSharper technology. It offers support for .NET and .NET Core applications on all platforms. +[JetBrains Rider](https://www.jetbrains.com/rider) is a cross-platform .NET IDE built using IntelliJ and ReSharper technology. It offers support for .NET and .NET Core applications on all platforms. 1. Install [JetBrains Rider](https://www.jetbrains.com/rider/download/) for Windows. 2. Install the latest [.NET Core SDK](https://www.microsoft.com/net/core#windowscmd). -You will also need either to install Visual Studio or to follow the steps [here](https://rider-support.jetbrains.com/hc/en-us/articles/207288089-Using-Rider-on-Windows-without-Visual-Studio-prerequisites) if you need to use the older .NET Framework instead of .NET Core. +if you need to use the older .NET Framework instead of .NET Core, you will also need either to install Visual Studio or to follow the steps [here](https://rider-support.jetbrains.com/hc/en-us/articles/207288089-Using-Rider-on-Windows-without-Visual-Studio-prerequisites). -
+
+Copyright © 2025 JetBrains s.r.o. Rider and the Rider logo are trademarks of JetBrains s.r.o. +
-### Option 5: Build F# from source +
+
+## Option 5: Build F# from source + + You can build and contribute to the F# compiler and library from [the source](https://github.com/dotnet/fsharp). + +
From fedd8580dc7b8549288ec413cc138ffa119e96c1 Mon Sep 17 00:00:00 2001 From: ian Date: Fri, 18 Apr 2025 07:01:55 +0000 Subject: [PATCH 2/2] fixed linting errors --- use/linux/index.md | 22 +++++++++++----------- use/mac/index.md | 20 +++++++++----------- use/windows/index.md | 23 +++++++++++------------ 3 files changed, 31 insertions(+), 34 deletions(-) diff --git a/use/linux/index.md b/use/linux/index.md index c2fd9a65..d4b4d4be 100644 --- a/use/linux/index.md +++ b/use/linux/index.md @@ -7,7 +7,7 @@ headline: Use F# on Linux
## Option 1: Install the CLI tools and use your own editor - +.NET Core Logo Install the [.NET SDK](https://dotnet.microsoft.com/download). .NET is available for major Linux distributions and is typically installed with the system package manager of your distribution of choice. @@ -21,19 +21,19 @@ printfn "Hello World from F#" Now compile and run this F# script with the following command: -``` +```bash dotnet fsi hello.fsx ``` If this is your first time using .NET, there will be a short, one-time message about using the .NET SDK. After that, you'll see the following output in your console: -``` -Hello World from F# -``` + + Hello World from F# + To create a project use -``` +```bash dotnet new console --language F# dotnet run ``` @@ -46,9 +46,9 @@ For more information see [Getting started with the F# command line tools](https:
## Option 2: Install Visual Studio Code and Ionide
- +Visual Studio Code Logo - +Ionide Logo
[Visual Studio Code](https://code.visualstudio.com) is a free, [open source](https://github.com/microsoft/vscode), cross platform source code editor supporting [a lot of languages](https://code.visualstudio.com/docs/languages/overview). @@ -71,7 +71,7 @@ Ionide works best if you use the .NET CLI to create your projects. You can learn ## Option 3: Install JetBrains Rider - +Jetbrains Rider Logo [JetBrains Rider](https://www.jetbrains.com/rider) is a cross-platform .NET IDE built using IntelliJ and ReSharper technology. It offers support for .NET applications on all platforms. @@ -84,8 +84,8 @@ Copyright © 2025 JetBrains s.r.o. Rider and the Rider logo are trademarks of Je
## Option 4: Build F# from source - - +GitHub Logo + You can build and contribute to the F# compiler and library from [the source](https://github.com/dotnet/fsharp).
diff --git a/use/mac/index.md b/use/mac/index.md index 879a116b..c7383260 100644 --- a/use/mac/index.md +++ b/use/mac/index.md @@ -7,7 +7,7 @@ headline: Use F# on macOS
## Option 1: Install the CLI tools and use your own editor - +.NET Core Logo Install the [.NET SDK](https://dotnet.microsoft.com/download). @@ -21,19 +21,17 @@ printfn "Hello World from F#" Now compile and run this F# script with the following command: -``` +```bash dotnet fsi hello.fsx ``` If this is your first time using .NET Core, there will be a short, one-time message about using the .NET SDK. After that, you'll see the following output in your console: -``` -Hello World from F# -``` + Hello World from F# To create a project use -``` +```bash dotnet new console --language F# dotnet run ``` @@ -47,9 +45,9 @@ For more information see [Getting started with the F# command line tools](https:
## Option 2: Install Visual Studio Code and Ionide
- +Visual Studio Code Logo - +Ionide Logo
[Visual Studio Code](https://code.visualstudio.com) is a free, [open source](https://github.com/microsoft/vscode), cross platform source code editor supporting [a lot of languages](https://code.visualstudio.com/docs/languages/overview). @@ -71,7 +69,7 @@ Ionide works best if you use the .NET CLI to create your projects. You can learn
## Option 3: Install JetBrains Rider - +Jetbrains Rider Logo [JetBrains Rider](https://www.jetbrains.com/rider) is a cross-platform .NET IDE built using IntelliJ and ReSharper technology. It offers support for .NET and .NET Core applications on all platforms. You can install [JetBrains Rider from here](https://www.jetbrains.com/rider/download/). @@ -84,8 +82,8 @@ Copyright © 2025 JetBrains s.r.o. Rider and the Rider logo are trademarks of Je
## Option 4: Build F# from source - - +GitHub Logo + You can build and contribute to the F# compiler and library from [the source](https://github.com/dotnet/fsharp). diff --git a/use/windows/index.md b/use/windows/index.md index c7207a5d..06aa9e21 100644 --- a/use/windows/index.md +++ b/use/windows/index.md @@ -7,7 +7,7 @@ headline: Use F# on Windows
## Option 1: Install the CLI tools and use your own editor - +.NET Core Logo Install the [.NET Core SDK](https://dotnet.microsoft.com/download). Once that is installed, you can begin using F#! @@ -19,19 +19,17 @@ printfn "Hello World from F#" Now compile and run this F# script with the following command: -``` +```cmd dotnet fsi hello.fsx ``` If this is your first time using .NET Core, there will be a short, one-time message about using the .NET SDK. After that, you'll see the following output in your console: -``` -Hello World from F# -``` + Hello World from F# To create a project use -``` +```cmd dotnet new console --language F# dotnet run ``` @@ -44,9 +42,9 @@ For more information see [Getting started with the F# command line tools](https:
## Option 2: Install Visual Studio Code and Ionide
- +Visual Studio Code Logo - +Ionide Logo
Visual Studio Code](https://code.visualstudio.com) is a free, [open source](https://github.com/microsoft/vscode), cross platform source code editor supporting [a lot of languages](https://code.visualstudio.com/docs/languages/overview). @@ -67,19 +65,20 @@ Ionide works best if you use the .NET CLI to create your projects. You can learn
## Option 3: Install Visual Studio - +Visual Studio 2022 Logo On Windows, F# programmers commonly use the Visual Studio tools for F#. - [Visual Studio 2019](https://www.visualstudio.com/downloads/) comes with F# support in all its editions: Community, Professional and Enterprise. Community is completely free. See [Get started with F# in Visual Studio](https://docs.microsoft.com/dotnet/fsharp/get-started/get-started-visual-studio) for more information. - If you already have an older version of Visual Studio, F# is also supported. But the quality of the tooling support and number of features is not as high as in Visual Studio 2019. +
## Option 4: Install JetBrains Rider - +Jetbrains Rider Logo [JetBrains Rider](https://www.jetbrains.com/rider) is a cross-platform .NET IDE built using IntelliJ and ReSharper technology. It offers support for .NET and .NET Core applications on all platforms. @@ -96,8 +95,8 @@ Copyright © 2025 JetBrains s.r.o. Rider and the Rider logo are trademarks of Je
## Option 5: Build F# from source - - +GitHub Logo + You can build and contribute to the F# compiler and library from [the source](https://github.com/dotnet/fsharp).