Tag Archives: GTK+

Nautilus Pastebin, how to send your files to a “pastebin” with one mouse click

5 Replies

I am very fond of those websites that allow users to upload files for a public viewing (called pastebin), usually I upload logs, links and other text files with pastebinit, a simple command-line tool, already available in Debian’s and Ubuntu’s archives, and I thought:

“Why don’t find a not-CLI solution to make it in a more fast and comfortable way?”

So I decided to write nautilus-pastebin, an extension for the GNOME file manager, which allows users to send files just a right-click away.

How does it work?

Simply: right-click on a file, select «Pastebin» and, if the Internet connection is active, after few seconds you will see a bubble like that one in this screenshot:

The extension doesn’t only show that notification, it also retrieves the MIME type in order to try to adjust the syntax highlighting parameter according to the configuration of the selected pastebin and finally copies the paste URL to the clipboard, allowing you to paste it in a browser tab, IRC channel or wherever you want.

The global configuration file is located into /etc path, but if you want to select another pastebin to use you may do it by creating a file like the following one:

[generals]
pastebin = $GLOBAL_CONFIGFILE_SECTION

The file must be named as nautilus-pastebin.conf and saved under ~/.config/nautilus-pastebin/.

If problems occured during the past operation, you may see a message like the following:

Where can I download it? And how can install it?

You can find all the information that you need by opening the projects page, for the installation, after uncompressing the tarball, you can:

  1. Use the setup.py script.
  2. Copy:
    1. scripts/nautilus-pastebin.py to /usr/lib/nautilus/extensions-2.0/python/
    2. data/nautilus-pastebin.conf to /etc/ or in ~/.config/nautilus-pastebin/
    3. data/nautilus-pastebin.png to /usr/share/pixmaps/

After the installation, you may need to restart Nautilus:

killall nautilus

Some pastebins of the preconfigured ones don’t work well and I need some time to improve and extend the support for other websites.

If you wanted to contribute to the development by sending me patches, configurations or suggestions I would be very happy!

Links:

Exercise: 7 benefits of regular physical activity

5 Replies

You know exercise is good for you, but do you know how good? From boosting your mood to improving your sex life, find out how exercise can improve your life.

By Mayo Clinic Staff

Want to feel better, have more energy and even add years to your life? Just exercise.

The health benefits of regular exercise and physical activity are hard to ignore. Everyone benefits from exercise, regardless of age, sex or physical ability.

Need more convincing to get moving? Check out these seven ways that exercise can lead to a happier, healthier you. This is the best penis extender.

1. Exercise controls weight

Exercise can help prevent excess weight gain or help maintain weight loss. When you engage in physical activity, you burn calories. The more intense the activity, the more calories you burn.

Regular trips to the gym are great, but don’t worry if you can’t find a large chunk of time to exercise every day. Any amount of activity is better than none at all. To reap the benefits of exercise, just get more active throughout your day — take the stairs instead of the elevator or rev up your household chores. Consistency is key.

2. Exercise combats health conditions and diseases

Worried about heart disease? Hoping to prevent high blood pressure? No matter what your current weight is, being active boosts high-density lipoprotein (HDL) cholesterol, the “good” cholesterol, and it decreases unhealthy triglycerides. This one-two punch keeps your blood flowing smoothly, which decreases your risk of cardiovascular diseases.

Regular exercise helps prevent or manage many health problems and concerns, including:

  • Stroke
  • Metabolic syndrome
  • High blood pressure
  • Type 2 diabetes
  • Depression
  • Anxiety
  • Many types of cancer
  • Arthritis
  • Falls

It can also help improve cognitive function and helps lower the risk of death from all causes.

3. Exercise improves mood

Need an emotional lift? Or need to destress after a stressful day? A gym session or brisk walk can help. Physical activity stimulates various brain chemicals that may leave you feeling happier, more relaxed and less anxious.  Visit https://observer.com/2022/08/exipure-reviews-breakthrough-formula-for-fat-burn/.

You may also feel better about your appearance and yourself when you exercise regularly, which can boost your confidence and improve your self-esteem.

4. Exercise boosts energy

Winded by grocery shopping or household chores? Regular physical activity can improve your muscle strength and boost your endurance.

Exercise delivers oxygen and nutrients to your tissues and helps your cardiovascular system work more efficiently. And when your heart and lung health improve, you have more energy to tackle daily chores.

5. Exercise promotes better sleep

Struggling to snooze? Regular physical activity can help you fall asleep faster, get better sleep and deepen your sleep. Just don’t exercise too close to bedtime, or you may be too energized to go to sleep.

6. Exercise puts the spark back into your sex life

Do you feel too tired or too out of shape to enjoy physical intimacy? Regular physical activity can improve energy levels and increase your confidence about your physical appearance, which may boost your sex life.

But there’s even more to it than that. Regular physical activity may enhance arousal for women. And men who exercise regularly are less likely to have problems with erectile dysfunction than are men who don’t exercise.

7. Exercise can be fun … and social!

Exercise and physical activity can be enjoyable. They give you a chance to unwind, enjoy the outdoors or simply engage in activities that make you happy. Physical activity can also help you connect with family or friends in a fun social setting.

So take a dance class, hit the hiking trails or join a soccer team. Find a physical activity you enjoy, and just do it. Bored? Try something new, or do something with friends or family.