Change some texts. Again.

This commit is contained in:
Philippe Pittoli 2024-03-31 21:50:04 +02:00
parent a189d931dc
commit 15e43dea3b
3 changed files with 19 additions and 17 deletions

View File

@ -54,17 +54,17 @@ show_error_key_sizes min max
show_error_title :: ValidationDNS.Error -> String show_error_title :: ValidationDNS.Error -> String
show_error_title v = case v of show_error_title v = case v of
ValidationDNS.UNKNOWN -> "Unknown" ValidationDNS.UNKNOWN -> "Unknown"
ValidationDNS.VEIPv4 _ -> "The IPv4 address is wrong" ValidationDNS.VEIPv4 _ -> "Invalid IPv4 address"
ValidationDNS.VEIPv6 _ -> "The IPv6 address is wrong" ValidationDNS.VEIPv6 _ -> "Invalid IPv6 address"
ValidationDNS.VEName _ -> "The name (domain label) is wrong" ValidationDNS.VEName _ -> "Invalid Name (domain label)"
ValidationDNS.VETTL _ _ _ -> "Invalid TTL" ValidationDNS.VETTL _ _ _ -> "Invalid TTL"
ValidationDNS.VETXT _ -> "The TXT input is wrong" ValidationDNS.VETXT _ -> "Invalid TXT"
ValidationDNS.VECNAME _ -> "The CNAME input is wrong" ValidationDNS.VECNAME _ -> "Invalid CNAME"
ValidationDNS.VENS _ -> "The NS input is wrong" ValidationDNS.VENS _ -> "Invalid NS Target"
ValidationDNS.VEMX _ -> "The MX target input is wrong" ValidationDNS.VEMX _ -> "Invalid MX Target"
ValidationDNS.VEPriority _ _ _ -> "Invalid Priority" ValidationDNS.VEPriority _ _ _ -> "Invalid Priority"
ValidationDNS.VESRV _ -> "The SRV target input is wrong" ValidationDNS.VESRV _ -> "Invalid SRV Target"
ValidationDNS.VEProtocol _ -> "The Protocol input is wrong" ValidationDNS.VEProtocol _ -> "Invalid Protocol"
ValidationDNS.VEPort _ _ _ -> "Invalid Port" ValidationDNS.VEPort _ _ _ -> "Invalid Port"
ValidationDNS.VEWeight _ _ _ -> "Invalid Weight" ValidationDNS.VEWeight _ _ _ -> "Invalid Weight"

View File

@ -378,10 +378,12 @@ render state
(updateForm Field_TTL) (updateForm Field_TTL)
(show state._currentRR.ttl) (show state._currentRR.ttl)
should_be_disabled should_be_disabled
, Bulma.box_input ("target" <> state._currentRR.rrtype) "Target" "198.51.100.5" , case state._currentRR.rrtype of
(updateForm Field_Target) "AAAA" -> Bulma.box_input ("target" <> state._currentRR.rrtype) "Target" "2001:db8::1" (updateForm Field_Target) state._currentRR.target should_be_disabled
state._currentRR.target "TXT" -> Bulma.box_input ("target" <> state._currentRR.rrtype) "Your text" "blah blah" (updateForm Field_Target) state._currentRR.target should_be_disabled
should_be_disabled "CNAME" -> Bulma.box_input ("target" <> state._currentRR.rrtype) "Target" "www" (updateForm Field_Target) state._currentRR.target should_be_disabled
"NS" -> Bulma.box_input ("target" <> state._currentRR.rrtype) "Target" "ns0.example.com." (updateForm Field_Target) state._currentRR.target should_be_disabled
_ -> Bulma.box_input ("target" <> state._currentRR.rrtype) "Target" "198.51.100.5" (updateForm Field_Target) state._currentRR.target should_be_disabled
] <> case state.rr_modal of ] <> case state.rr_modal of
UpdateRRModal -> UpdateRRModal ->
if A.elem state._currentRR.rrtype ["A", "AAAA"] if A.elem state._currentRR.rrtype ["A", "AAAA"]

View File

@ -118,20 +118,20 @@ spf_default_behavior = [Bulma.p """
srv_introduction :: forall w i. Array (HH.HTML w i) srv_introduction :: forall w i. Array (HH.HTML w i)
srv_introduction = srv_introduction =
[ Bulma.p "The SRV record is a DNS RR for specifying the location of services." [ Bulma.p "The SRV record is a DNS resource record for specifying the location of services."
, HH.p_ [ HH.text "Given a specific " , HH.p_ [ HH.text "Given a specific "
, HH.u_ [HH.text "service name"] , HH.u_ [HH.text "service name"]
, HH.text " (which may be arbitrary) and a " , HH.text " (which may be arbitrary) and a "
, HH.u_ [HH.text "protocol"] , HH.u_ [HH.text "protocol"]
, HH.text " (such as TCP or UDP), you can tell where the server is (address name and port). " , HH.text " (such as TCP or UDP), you can tell where the server is (address name and port). "
, HH.text """ , HH.text """
Both the names of the service and the protocol are used to construct the name of the RR. Both the names of the service and the protocol are used to construct the name of the resource record.
""" """
] ]
, HH.p_ [ HH.text "For example, for a service named " , HH.p_ [ HH.text "For example, for a service named "
, HH.u_ [HH.text "voip"] , HH.u_ [HH.text "voip"]
, HH.text " and given that this service uses the TCP protocol, you can specify that the target is " , HH.text " and given that this service uses the TCP protocol, the target "
, HH.u_ [HH.text "server1.example.com."] , HH.u_ [HH.text "server1.example.com."]
, HH.text "." , HH.text " could be specified."
] ]
] ]