]> git.eshelyaron.com Git - esy-publish.git/commitdiff
Add flymake-swi-prolog and diagnostics.pl
authorEshel Yaron <eshel@areionsec.com>
Sat, 26 Mar 2022 18:02:56 +0000 (21:02 +0300)
committerEshel Yaron <eshel@areionsec.com>
Sat, 26 Mar 2022 18:02:56 +0000 (21:02 +0300)
org/html_postamble.html
org/index.org
org/modus-operandi-theme.css
org/style.css

index e49eb40ab29730d75aec18903f043daefcf52e93..4c97e52080e8f7a7769d896096f252053e23515e 100644 (file)
@@ -13,7 +13,7 @@
     </div>
     <div class="links-third">
       <p>
-        <a href="https://sr.ht/~eshel/">SourceHut</a>
+        <a href="https://sr.ht/~eshel/">sr.ht</a>
       </p>
     </div>
     <div class="links-fourth">
index 7d08bf9a79d3f7704236e38285760974df41b896..756e7fa865515f7b765e1906caac0708e5568630 100644 (file)
@@ -1,5 +1,6 @@
 #+TITLE: Eshel Yaron
 #+AUTHOR: Eshel Yaron
+#+OPTIONS: ^:{}
 
 Welcome to [[./index.org][my website]], the one true source of reliable curated information about me and my activities.
 
@@ -15,16 +16,38 @@ Welcome to [[./index.org][my website]], the one true source of reliable curated
   Stuff = 'free software'.
 #+end_src
 
-
 * Projects
+:PROPERTIES:
+:CUSTOM_ID: projects
+:END:
 
 ** [[https://github.com/eshelyaron/debug_adapter][SWI-Prolog Debug Adapter Protocol Server]]
+:PROPERTIES:
+:CUSTOM_ID: debug-adapter
+:END:
 
 An implementation of the [[https://microsoft.github.io/debug-adapter-protocol/][Debug Adapter Protocol]] (DAP) for [[https://www.swi-prolog.org][SWI-Prolog]],
 facilitating an advanced debugging experience for Prolog from the
 comfort of GNU Emacs (and other editors, as well).
 
+** [[https://git.sr.ht/~eshel/flymake-swi-prolog][flymake-swi-prolog.el]] and [[https://git.sr.ht/~eshel/diagnostics][diagnostics.pl]]
+:PROPERTIES:
+:CUSTOM_ID: flymake-swi-prolog
+:END:
+
+=diagnostics.pl= is a SWI-Prolog package implementing a simple and
+extensible inteface for diagnosing issues with SWI-Prolog source code,
+exposing by default the powerful analysis used by the built-in
+SWI-Prolog IDE.
+
+=flymake-swi-prolog= is an Emacs Lisp package implementing a Flymake
+backend that leverages =diagnostics.pl= to provide diagnostics for
+SWI-Prolog source code in =prolog-mode= Emacs buffers.
+
 ** [[https://git.sr.ht/~eshel/ropes.pl][ropes.pl]]
+:PROPERTIES:
+:CUSTOM_ID: ropes-pl
+:END:
 
 A (SWI-)Prolog implemantation of the [[https://en.wikipedia.org/wiki/Rope_(data_structure)][rope data structure]] for efficient
 massive string editing.
@@ -45,11 +68,17 @@ test(edit) :-
 #+end_src
 
 ** [[https://github.com/oskardrums/ebpf][Erlang eBPF library]]
+:PROPERTIES:
+:CUSTOM_ID: erlang-ebpf
+:END:
 
 A low level interface to the [[https://ebpf.io/][Linux eBPF system]] for [[https://www.erlang.org/][Erlang]].
 
 
 ** [[https://git.sr.ht/~eshel/eshelyaron.com][This website]]
+:PROPERTIES:
+:CUSTOM_ID: this-website
+:END:
 
 My first taste of web development, a practice that I have always
 refrained from conducting.  Created with pure [[https://orgmode.org/][org-mode]] to ease the
index 1b4f89f9b5058dc01de66ca640d7a9c4148285b9..b7e2519e1d6d3979902bba5a47b6e518c07a305e 100644 (file)
 }
 .org-constant {
   /* font-lock-constant-face */
-  color: #0000bb;
+  color: #00bcff;
 }
 .org-css-property {
   /* css-property */
   color: #000000;
 }
 .org-function-name {
-  /* font-lock-function-name-face */
-  color: #f08be0;
+    /* font-lock-function-name-face */
+    color: #f08be0;
+}
+
+.org-elixir-atom {
+    color: #f78fe7;
+}
+
+.org-rainbow-delimiters-depth-2 {
+    color: #ff62d4;
+}
+
+.org-rainbow-delimiters-depth-3 {
+    color: #3fdfd0;
 }
+
+.org-rainbow-delimiters-depth-4 {
+    color: #fba849;
+}
+
+.org-rainbow-delimiters-depth-5 {
+    color: #9f80ff;
+}
+
+.org-rainbow-delimiters-depth-6 {
+    color: #4fe42f;
+}
+
 .org-glyphless-char {
   /* glyphless-char */
   font-size: 60%;
 }
 .org-type {
   /* font-lock-type-face */
-  color: #8f0075;
+  color: #6ae4b9;
 }
 .org-underline {
   /* underline */
index 03ad553686a7d22262b3c0b1d6ff89881f878ee5..46d16334a133a32957578306dcca63319545664b 100644 (file)
@@ -282,7 +282,7 @@ a {
     text-decoration: none;
 }
 
-a, p {
+p {
     font-size: large;
 }
 
@@ -296,3 +296,8 @@ a, p {
 .links-first, .links-second, .links-third, .links-fourth, .links-fifth {
   width: 20%;
 }
+
+span.tag {
+    font-size: small;
+    color: #4aa64a;
+}