Archived
1
0
Fork
You've already forked ionathan.ch
0
No description https://ionathan.ch
This repository has been archived on 2025年08月14日. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.
  • HTML 83.1%
  • CSS 6.8%
  • Agda 4.5%
  • SCSS 2.4%
  • TeX 1.7%
  • Other 1.5%
2025年08月14日 04:40:19 +02:00
_assets Add TTBFL to bib 2025年06月13日 08:49:24 -04:00
_drafts Add another dithering draft that's just some kernels 2025年08月08日 22:12:54 -04:00
_includes Make sidebar more pleasant on mobile 2025年08月10日 19:27:04 -04:00
_layouts Fun category arrows 2025年01月19日 10:11:07 -08:00
_posts I have got to remember not to put styling before the readmore 2025年08月08日 21:44:51 -04:00
assets Make sidebar more pleasant on mobile 2025年08月10日 19:27:04 -04:00
blog Fun category arrows 2025年01月19日 10:11:07 -08:00
category Fun category arrows 2025年01月19日 10:11:07 -08:00
.domains Add domains 2025年02月23日 09:46:15 -05:00
.gitignore Update Ruby/Gems and add lockfile for gems 2025年08月09日 09:45:16 -04:00
.gitlab-ci.yml Specify Ruby version 3.1. 2023年01月08日 15:03:41 -05:00
404.md Add robots.txt and 404 page. 2023年08月10日 10:18:17 -04:00
_config.yml Add .html extension to all links (they redirect anyway) 2025年08月13日 17:08:06 -04:00
cv.md Add TTBFL to bib 2025年06月13日 08:49:24 -04:00
favicon.ico Changed favicon to Closure Ahead. 2020年03月05日 23:24:30 -08:00
favicon.png Changed favicon to Closure Ahead. 2020年03月05日 23:24:30 -08:00
Gemfile Specify Ruby version 2025年08月13日 17:14:47 -04:00
Gemfile.lock Specify Ruby version 2025年08月13日 17:14:47 -04:00
index.md Various edits and a new post (zhuyin table) 2025年07月31日 10:20:56 -04:00
LICENCE Fix permalinks and title aesthetics 2024年03月08日 19:35:32 -05:00
links.md Add CLI tools to links 2025年08月10日 08:35:08 -04:00
Makefile Add deployment to sourcehut in Makefile 2025年08月13日 17:27:40 -04:00
README.md Update README.md 2025年08月14日 04:40:19 +02:00
robots.txt Add to robots.txt 2023年12月14日 08:16:08 -05:00
tags.md Create tags.md 2019年07月07日 21:08:49 -07:00

⚠️ This repository has moved to ionchy.srht.site. ⚠️


Building and deployment

  1. Install Ruby
  2. Install dependencies with make install
  3. Build site with make build or serve site locally with make
  4. Deploy site with make deploy

Theme changes to Hydeout

Most of these changes are marked with a comment indicating where the original was modified.

  • Added profile picture to _includes/sidebar.html
  • Removed category links with blank _includes/category-links.html
  • Removed related posts with blank _includes/related_posts.html
  • _includes/custon-icon-links.html contains an icon
  • _includes/custom-head.html adds Open Graph meta tags and alternate tab title tab_title
  • _includes/font-includes.html removes loaded font from Hydeout theme
  • NEW: _includes/image.html provides an include that adds image captions below images
  • NEW: _includes/carousel.html provides an include for multiple captioned images scrolling horizontally
  • NEW: blog/index.html is a page containing blog posts, with a list of categories copied from _layouts/category.html
  • NEW: category/index.html is a hidden placeholder page with a list of categories copied from above
  • NEW: _layouts/category.html is a page containing blog posts of the given category
  • NEW: assets/css/fonts.scss loads fonts if not present locally
  • NEW: _layouts/bibtex.html displays a BibTeX entry as a code block
  • NEW: _layouts/redirect.html redirects to page.redirect
  • Moved pagination buttons to below page content in _layouts/index.html
  • Added option to display longer page title than in the sidebar to _layouts/page.html using long_title
  • Added option to display longer post title than in post listing to _layouts/post.html using long_title
  • Added option to not list post in blog using unlisted: true
  • Added image caption styling, custom fonts, and widened column in assets/css/main.scss

Special assets

  • Sidebar profile picture: Add the relative path of the image to _config.yml under profile
  • Rouge theme: Run rougify style [theme] > assets/css/syntax.css (currently thankful_eyes)

Images with captions

To add an image with a caption, use the following code, replacing the content within the [brackets]:

{% include image.html
 img="[relative path to image]"
 caption="[caption]"
 title="[hovertext]"
 url="[URL]" %}